Boekstra.nl - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy), Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Swe - Twenty Five Years of Constructive Type Theory

Twenty Five Years of Constructive Type Theory

Proceedings of a Congress Held in Venice, October 1995

Omschrijving

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

In de winkelwagen Bestel vandaag,
ontvang het met 5 werkdagen. Wenslijst Stel een vraag

In de winkelwagen 15 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy), Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Swe
Titel: Twenty Five Years of Constructive Type Theory
Uitgever: Oxford University Press

Jaar: 1998
Taal: Engels
Pagina's: 292
Gewicht: 588 gr

EAN: 9780198501275
Afmetingen: 242 x 161 x 20 mm
Bindwijze: Hardback

U ontvangt bij ons altijd de laatste druk!

Twenty Five Years of Constructive Type Theory

Proceedings of a Congress Held in Venice, October 1995

Omschrijving

Rubrieken

Rubrieken