|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
4 of 5 people found the following review helpful:
5.0 out of 5 stars
Isabelle is wonderful,
By
This review is from: Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) (Paperback)
Isabelle is fantastic, and this is an excellent tutorial.With Isabelle, all the mystery of math and proof goes away and everything becomes concrete... just like programming. The only improvement that I'd like to see is that the tutorial be rewritten using the Isar proof language. |
|
Most Helpful First | Newest First
|
|
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) by Tobias Nipkow (Paperback - May 3, 2002)
$69.95 $56.20
In Stock | |
 
| ||
