A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity
by
Shawn Hedman
Book Details
Format
Paperback / Softback
Book Series
Oxford Texts in Logic
ISBN-10
0198529813
ISBN-13
9780198529811
Publisher
Oxford University Press
Imprint
Oxford University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 8th, 2004
Print length
452 Pages
Weight
736 grams
Dimensions
24.40 x 17.20 x 2.20 cms
Product Classification:
Philosophy: logicPhilosophy of mathematicsMathematical logicMathematical theory of computation
Ksh 18,600.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.
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.
Get A First Course in Logic by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
