Tarski Grothendieck set theory (1989)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics, Axiomatics
Citations:1276 - 127 self