History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)Giovanni Sommaruga

History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)

Giovanni Sommaruga · 2000

Where to buy

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

Book details

Year: 2000
Language: English
Publisher: Springer
Editions: 1
Pages: 368
ISBN: 9780792361800

Data source: Wikidata

More by Giovanni Sommaruga

Foundational Theories of Classical and Constructive MathematicsGiovanni Sommaruga

Foundational Theories of Classical and Constructive Mathematics

Giovanni Sommaruga · 2011

Turing's RevolutionGiovanni Sommaruga

Turing's Revolution

Giovanni Sommaruga · 2016

History and philosophy of constructive type theoryGiovanni Sommaruga

History and philosophy of constructive type theory

Giovanni Sommaruga · 2013

Turing’s RevolutionGiovanni Sommaruga

Turing’s Revolution

Giovanni Sommaruga · 2016

Formal Theories of InformationGiovanni Sommaruga

Formal Theories of Information

Giovanni Sommaruga · 2009