Artículo PDF (0,23 Mb)
Compatible solo con Adobe Acrobat Reader - software gratuito - (descubra cómo abrir los archivos)
Crosilla, Laura

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

2005 - Firenze University Press

P. [1-42] [42]

Forma parte de

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