Review of : Setzer, Anton. Universes in Type theory I. Inaccessibles and Mahlo. In: Andretta, Alessandro (ed.) et al., Logic Colloquium 2004.Proceedings of the annual European summer meeting of theAssociation for Symbolic Logic (ASL), Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic, Lecture Notes in Logic 29, 123-156 (2008) / A.Cantini. - In: ZENTRALBLATT MATH. - ISSN 1436-3356. - STAMPA. - 1144:(2008), pp. 1144.03036-1144.03036.
Review of : Setzer, Anton. Universes in Type theory I. Inaccessibles and Mahlo. In: Andretta, Alessandro (ed.) et al., Logic Colloquium 2004.Proceedings of the annual European summer meeting of theAssociation for Symbolic Logic (ASL), Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic, Lecture Notes in Logic 29, 123-156 (2008)
CANTINI, ANDREA
2008
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.