Items related to A First Course in Logic: An Introduction to Model Theory,...
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic) - Hardcover
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.
"synopsis" may belong to another edition of this title.
About the Author
Shawn Hedman is in the Department of Mathematics, Florida Southern College.
Review
'a clear and unifying treatment of fundamental concepts underlying Computer Sciences and Foundations of Mathematics' Professor Boris Zilber (Professor of Mathematical Logic, University of Oxford)
'an excellent book' Professor Dov Gabbay (King's College, London)
"About this title" may belong to another edition of this title.
- PublisherOxford University Press
- Publication date2004
- ISBN 10 0198529805
- ISBN 13 9780198529804
- BindingHardcover
- LanguageEnglish
- Number of pages452
- Rating
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want