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.
An edition of Isabelle
(1994)
Isabelle
A Generic Theorem Prover (Lecture Notes in Computer Science)
1 edition
by Lawrence C. Paulson
Share
×Close
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
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 |