 Arts & Humanities
 Online Resources Journals
 Resources
 Close
 Dictionaries & Reference

 Online Resources
 Resources
 Close

 Law
 Online Resources Journals
 Resources
 Close
 Medicine & Health

 Online Resources Journals
 Resources
 Close

 Science & Mathematics

 Biological Sciences
 Chemistry
 Earth Sciences & Geography
 History of Science & Technology
 Neuroscience
 Physics
 Psychology
 Online Resources Journals
 Resources
 Close

 Social Sciences
 Online Resources Journals
 Resources
 Close
Mathematical Logic
Ian Chiswell and Wilfrid Hodges
Oxford Texts in Logic
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for firstorder logic. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in logic, mathematics, philosophy, and computer science.