2005 - Firenze University Press
Article PDF (0,23 Mb)
Pris en charge uniquement par Adobe Acrobat Reader (voir détails)
Constructive Notions of Set. Part I. Sets in Martin-Löf Type Theory
P. [1-42] [42]
Fait partie de
Annali del dipartimento di filosofia. N. 11 - 2005, 2005-
Articles du même numéro (disponibles individuellement)
-
Informations
