Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Twenty Five Years of Constructive Type Theory
part of the Oxford Logic Guides series
- Binding:
- Hardback
- Pages:
- 292
- Published:
- October 14, 1998
- Dimensions:
- 161x242x20 mm.
- Weight:
- 588 g.
Delivery:
2-3 weeks
Expected delivery: December 12, 2024
About Giovanni (Professor of Mathematical Logic Sambin
View all books by Giovanni (Professor of Mathematical Logic SambinDescription of Twenty Five Years of Constructive Type Theory
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
User ratings of Twenty Five Years of Constructive Type Theory
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Twenty Five Years of Constructive Type Theory can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
