Check nearby libraries
Buy this book
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
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
June 1, 2001, North Holland
in English
0444508120 9780444508126
|
aaaa
Libraries near you:
WorldCat
|
2
Handbook of Automated Reasoning
2001, Elsevier Science & Technology Books
in English
0080532799 9780080532790
|
zzzz
Libraries near you:
WorldCat
|
3
Handbook of Automated Reasoning
2001, Elsevier Science & Technology Books
in English
0080929699 9780080929699
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Type theory is a language for formalizing mathematics which was invented by Bertrand Russell [Russell 1908]."
Classifications
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 29, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 27, 2023 | Edited by ImportBot | import existing book |
October 8, 2020 | Edited by ImportBot | import existing book |
July 31, 2020 | Edited by ImportBot | import existing book |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
April 29, 2008 | Created by an anonymous user | Imported from amazon.com record. |