Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980

• Autore: Martin-Löf, Per <1942- >
• Pubblicazione: Napoli : Bibliopolis, 1984
• Descrizione fisica: 91 p. ; 24 cm
• Soggetto non controllato: Logica; Ricorsività
• Persona (resp. second.): Sambin, Giovanni
• Titolo autorizzato: Intuitionistic type theory
• ISBN: 88-7088-105-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990001182600403321
• Lo trovi qui: Univ. Federico II
• Collocazione: 113-G-20; 7-321