Document Versions

Tarski Grothendieck Set Theory –Andrzej Trybulec — 1989
Tarski Grothendieck set theory –Andrzej Trybulec — 1989 — Journal of Formalized Mathematics, Axiomatics
Tarski Grothendieck set theory –Andrzej Trybulec — 1989 — Journal of Formalized Mathematics, Axiomatics