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

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

Part of the Oxford Texts in Logic series

Paperback / softback

Out of StockMore expected soonContact us for further information
  • Information

Description

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.

Information

Save 5%

£83.00

£78.34

Out of StockMore expected soonContact us for further information
Add to Basket
Sign in to add to wishlist

Information

Also in the Oxford Texts in Logic series

Mathematical Logic

Mathematical Logic

Ian Chiswell

£50.83

£43.21

Add to Basket
Mathematical Logic

Mathematical Logic

Ian (Queen Mary, University of London) Chiswell

£68.00

£56.25

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

A First Course in Logic

Shawn (Department of Mathematics, Florida Southern College) Hedman

£202.23

Add to Basket
Proof and Disproof in Formal Logic

Proof and Disproof in Formal Logic

Richard (School of Computing Science, Middlesex University) Bornat

£71.63

Add to Basket