Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.
Similar content being viewed by others
Keywords
Table of contents (5 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: History and Philosophy of Constructive Type Theory
Authors: Giovanni Sommaruga
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-94-015-9393-9
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media B.V. 2000
Hardcover ISBN: 978-0-7923-6180-0Published: 31 July 2000
Softcover ISBN: 978-90-481-5403-6Published: 07 December 2010
eBook ISBN: 978-94-015-9393-9Published: 09 March 2013
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: X, 367
Topics: Logic, Ethics, Phenomenology, History, general