booktheque

History and philosophy of constructive type theory

Giovanni Sommaruga · 2013

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2013
Language
English
Publisher
Springer London, Limited
Editions
2
ISBN
9789401593939

Data source: Wikidata

More by Giovanni Sommaruga

Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga · 2011
Turing's Revolution
Giovanni Sommaruga · 2016
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Giovanni Sommaruga · 2000
Turing’s Revolution
Giovanni Sommaruga · 2016
Formal Theories of Information
Giovanni Sommaruga · 2009