History and Philosophy of Constructive Type Theory
Author:   Giovanni Sommaruga
Publisher:   Kluwer Academic Publishers
Edition:   2000 ed.
Volume:   290
ISBN:  

9780792361800


Pages:   367
Publication Date:   31 July 2000
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $462.00 Quantity:  
Add to Cart

Share |

History and Philosophy of Constructive Type Theory


Overview

This is a survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof 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-Lof 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.

Full Product Details

Author:   Giovanni Sommaruga
Publisher:   Kluwer Academic Publishers
Imprint:   Kluwer Academic Publishers
Edition:   2000 ed.
Volume:   290
Dimensions:   Width: 15.60cm , Height: 2.20cm , Length: 23.40cm
Weight:   1.550kg
ISBN:  

9780792361800


ISBN 10:   0792361806
Pages:   367
Publication Date:   31 July 2000
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1. The Present Version of Constructive Type Theory (1995).- 2. Metatheoretical Considerations.- 3. History of Constructive Type Theory (1970–95).- 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970).- Conclusion.- References.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now