TOP PRODUCT
What does this mean?Pros & Cons
Pros
Kleene uses a combined model-theoretic and proof- theoretic approach. There are other parts too where kleene includes a piece of history, for instance, about the löwenheim-skolem theorem.
Cons
There is hardly any white space in the text. There is also no glossary (defined terms are italicized in otherwise normal sentences. The author insults your intelligence every once and a while.
Highlights
Quality
I love this book nice conditionpaper quality is fine
I have to agree with the more recent reviewer and disagree with the first one
Overview
- How are reviewers describing this item?
mathematical, first, subject, best and material. - Our engine has profiled the reviewer patterns and has determined that there is minimal deception involved.
- Our engine has determined that the review content quality is high and informative.
- Our engine has discovered that over 90% high quality reviews are present.
- This product had a total of 58 reviews as of our last analysis date on Jun 13 2022.
Helpful InsightsBETA
Posted by a reviewer on Amazon
Smiths superb entrypoint an introduction to formal logic and the lovely logic a very short introduction by graham priest2
Posted by a reviewer on Amazon
In section 1 where kleene develops the classical semantics and proof theory of pl and pc he nicely prefixes each section with either model theory referring to the semantics of the logic or proof theory referring to the deductive power of the logic
Posted by a reviewer on Amazon
This type of signposting is invaluable for students new to the distinction who were indoctrinated into the grossly simplified logic of their undergraduate years which simply merges the two
Posted by a reviewer on Amazon
He also makes a point of giving you historical information about the proofs and systems in the form of footnotes something thats lacking in siders treatment in logic for philosophy
Posted by a reviewer on Amazon
Depending on the course being taught this material may or may not be relevant
Posted by a reviewer on Amazon
I have to agree with the more recent reviewer and disagree with the first one
Posted by a reviewer on Amazon
I ordered this to get me started on logic
Posted by a reviewer on Amazon
I thoroughly recommend this book a brisk clear ruthlessly nononsense introduction to the subject
Review Count History
