An edition of A modern perspective on type theory
(2004)
A Modern Perspective on Type Theory
From its Origins until Today (Applied Logic Series)
1 edition
by Fairouz D. Kamareddine
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
A modern perspective on type theory: from its origins until today
2004, Kluwer Academic Publishers
in English
1402023340 9781402023347
|
zzzz
Libraries near you:
WorldCat
|
2
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
June 9, 2004, Springer
Hardcover
in English
- 1 edition
1402023340 9781402023347
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"The explicit and formal use of types (and thus an early form of what is presently called "type theory") was originally intended to prevent the paradoxes that occurred in logic and mathematics at the end of the 19th and the beginning of the 20th century."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 28, 2017 | Edited by MARC Bot | associate with existing work |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| August 10, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |