Articoli pubblicati da: Crosilla, Laura


Risultato della ricerca: ( 1 titolo )
Constructive notions of set. Part I. Sets in Martin–Löf type theory
Annali del dipartimento di filosofia - 2005
visualizza dettagli
Scheda completa: full text, export citazione, ACNP, libri su BNCF