Tarski Grothendieck set theory (1989)

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