The following sections discuss Isabelle's logical foundations in detail: representing logical syntax in the typed -calculus; expressing inference rules in Isabelle's meta-logic; combining rules by resolution.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Last edited by IdentifierBot
August 10, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1 |
zzzz
Libraries near you:
WorldCat
|
2
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
July 1994, Springer
in English
0387582444 9780387582443
|
zzzz
Libraries near you:
WorldCat
|
3
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
September 9, 1994, Springer
Paperback
in English
- 1 edition
3540582444 9783540582441
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"The following sections discuss Isabelle's logical foundations in detail: representing logical syntax in the typed -calculus; expressing inference rules in Isabelle's meta-logic; combining rules by resolution."
The Physical Object
ID Numbers
Excerpts
added anonymously.
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
August 10, 2010 | Edited by IdentifierBot | added LibraryThing ID |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |