Artikel PDF (0,23 Mb)
Nur mit Adobe Acrobat Reader kompatibel (lesen Sie mehr)
Crosilla, Laura

Constructive Notions of Set. Part I. Sets in Martin-Löf Type Theory

2005 - Firenze University Press

P. [1-42] [42]

Ist Teil von

Annali del dipartimento di filosofia. N. 11 - 2005, 2005