Special Offers see all
More at Powell'sRecently Viewed clear list
Original Essays | June 12, 2013
0 comments
|
 
$90.95
New Trade Paper
Ships in 1 to 3 days
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
This title in other editionsOther titles in the Oxford Texts in Logic series:A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexityby Shawn Hedman
Synopses & ReviewsPublisher Comments:The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Table of ContentsPreliminaries
1. Propositional Logic 2. Structures and First-Order Logic 3. Proof Theory 4. Properties of First-Order Logic 5. First-Order Theories 6. Models of Countable Theories 7. Computability and Complexity 8. The Incompleteness Theorems 9. Beyond First-Order Logic 10. Finite Model Theory Bibliography Index What Our Readers Are SayingBe the first to add a comment for a chance to win!Product Details
Related Subjects
Engineering » Engineering » General Engineering
|
|||||||||
|
|
||||||||||
|
Follow us on...
|
||||||||||
