|
||||||||||||||||||||||||||||||||||||||
|
2 Reviews
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
1 of 1 people found the following review helpful:
4.0 out of 5 stars
This is fun!
This book is actually pretty good. It covers the basics of Forst-Order-Logic (FOL) and is fun to read. The software is great too. Tarski's world get's you acquinted with the propositional and predicate logic concepts in no time! The many exercises in the book force you to read until you fully understand. So my advice to people taking their first steps in logic is:...
Published on September 6, 2000 by wrecky
|
 |
2 of 2 people found the following review helpful:
3.0 out of 5 stars
Pretty Good...
This book was used as one of the texts for a class I'm took in Cognitive Science at Indiana University. Before taking this class I had never been exposed to First-Order Logic, although I had done formal proofs in Math. I thought the book was pretty good. I'm quite sure that I would have had trouble with the concepts if I hadn't had a professor to help me, though. The...
Published on November 11, 1998
|
|
Most Helpful First | Newest First
|
|
2 of 2 people found the following review helpful:
3.0 out of 5 stars
Pretty Good...,
By A Customer
This review is from: The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Paperback)
This book was used as one of the texts for a class I'm took in Cognitive Science at Indiana University. Before taking this class I had never been exposed to First-Order Logic, although I had done formal proofs in Math. I thought the book was pretty good. I'm quite sure that I would have had trouble with the concepts if I hadn't had a professor to help me, though. The Language of First-Order Logic relies pretty heavily on concepts from Math. Most of the time these were concepts I hadn't though about in years, and that gave me a little trouble.
1 of 1 people found the following review helpful:
4.0 out of 5 stars
This is fun!,
By wrecky (the Netherlands) - See all my reviews
This review is from: The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Paperback)
This book is actually pretty good. It covers the basics of Forst-Order-Logic (FOL) and is fun to read. The software is great too. Tarski's world get's you acquinted with the propositional and predicate logic concepts in no time! The many exercises in the book force you to read until you fully understand. So my advice to people taking their first steps in logic is: learn to walk in Tarski's world and you'll be running before you know!
|
|
Most Helpful First | Newest First
|
|
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) by Jon Barwise (Paperback - August 1, 1993)
Used & New from: $0.01
| |
| ||
