2005 - Firenze University Press
Artículo PDF (0,23 Mb)
Compatible solo con Adobe Acrobat Reader (leer más)
Constructive Notions of Set. Part I. Sets in Martin-Löf Type Theory
P. [1-42] [42]
Forma parte de
Annali del dipartimento di filosofia. N. 11 - 2005, 2005-
Artículos del mismo número (disponibles individualmente)
-
Información
