×

Modeles cumulatifs de la théorie des types. (French) Zbl 0432.03026


MSC:

03E30 Axiomatics of classical set theory and its fragments
03B15 Higher-order logic; type theory (MSC2010)
PDF BibTeX XML Cite