Dear ZLibrary User, now we have a dedicated domain 1lib.us for your region and you have been redirected to it. You can bookmark the new address and use it in the future.
Main A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

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.
Categories:
Year:
2004
Publisher:
Oxford University Press
Language:
english
Pages:
453
ISBN 10:
0198529813
ISBN 13:
9780198529811
Series:
Oxford Texts in Logic, Volume 1
File:
PDF, 1.79 MB
Download (pdf, 1.79 MB)

You may be interested in Powered by Rec2Me

 

Most frequently terms

 
 
JTP
good and classical !
15 August 2020 (11:11) 
You can write a book review and share your experiences. Other readers will always be interested in your opinion of the books you've read. Whether you've loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them.