An edition of Type Theory and Formal Proof
(2014)
Type Theory and Formal Proof
An Introduction
by Rob Nederpelt and Herman Geuvers
- 1 Want to read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Type Theory and Formal Proof: An Introduction
2014, Cambridge University Press
in English
1139567721 9781139567725
|
zzzz
Libraries near you:
WorldCat
|
2
Type Theory and Formal Proof: An Introduction
2014, Cambridge University Press
in English
110703650X 9781107036505
|
aaaa
Libraries near you:
WorldCat
|
|
3
Type Theory and Formal Proof: An Introduction
2014, Cambridge University Press
in English
1316056341 9781316056349
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?
| April 15, 2023 | Edited by ImportBot | import existing book |
| November 12, 2020 | Edited by MARC Bot | import existing book |
| August 3, 2020 | Created by ImportBot | import new book |