Descrizione
Intuitionistic type theory. Intuitionistic type theory
Dettagli Bibliografici
EAN ISBN-13:9788870881059
ISBN-10:8870881059
Titolo:Intuitionistic type theory
Autore: Martin Löf Per
Editore:Bibliopolis
Data Pubblicazione:1984
Collana:Studies in proof theory.Lecture notes
Pagine:92
Genere:matematica
Classificazione:Logica matematica
Argomento :Logica matematica
