Synthese Library

History and Philosophy of Constructive Type Theory

Authors: Sommaruga, Giovanni

Free Preview

Buy this book

eBook $169.00
price for USA in USD
  • ISBN 978-94-015-9393-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.99
price for USA in USD
  • ISBN 978-0-7923-6180-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $219.99
price for USA in USD
  • ISBN 978-90-481-5403-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the 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.

Table of contents (5 chapters)

Table of contents (5 chapters)

Buy this book

eBook $169.00
price for USA in USD
  • ISBN 978-94-015-9393-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.99
price for USA in USD
  • ISBN 978-0-7923-6180-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $219.99
price for USA in USD
  • ISBN 978-90-481-5403-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
History and Philosophy of Constructive Type Theory
Authors
Series Title
Synthese Library
Series Volume
290
Copyright
2000
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-94-015-9393-9
DOI
10.1007/978-94-015-9393-9
Hardcover ISBN
978-0-7923-6180-0
Softcover ISBN
978-90-481-5403-6
Series ISSN
0166-6991
Edition Number
1
Number of Pages
X, 367
Topics