A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity

Shawn Hedman

ISBN 10: 0198529805 / ISBN 13: 9780198529804

Published by Oxford Univ Pr on Demand, 2004

About this Item

illustrated edition. 452 pages. 9.50x8.75x1.25 inches. In Stock.

Seller Inventory # 0198529805

Bibliographic Details

• Title: A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity
• Publisher: Oxford Univ Pr on Demand
• Publication Date: 2004
• Language: English
• ISBN 10: 0198529805
• ISBN 13: 9780198529804
• Binding: Hardcover
• Condition: Brand New
• Weight: 0.91 kilograms

About this title

Synopsis

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.

About the Author

Shawn Hedman is in the Department of Mathematics, Florida Southern College.