internetboekhandel.nl
buttons Home pagina Kassa pagina, Winkelwagentje Contact info Email ons
leeg Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Home pagina Rijks
Boekenweek
Rijks Home pagina Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Besteller 60
 
Nederlands Buitenlands   Alles  Titel  Auteur  ISBN        
Exacte wetenschappen
Exacte wetenschappen/natuurwetenschappen algemeen
Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua) Sambin,   Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology) Smith Twenty Five Years of Constructive Type Theory

Chalmers University of Technology) Smith Giovanni (Professor of Mathematical Logic Professor of Mathematical Logic University of Padua) Sambin Jan M. (Professor Department of Computing Science Professor Department of Computing Science

Twenty Five Years of Constructive Type Theory

€ 99.00


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.



Taal / Language : English

Extra informatie: 
Hardback
292 pagina's
Augustus 1998
Oxford University Press us


Langere levertijd