A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - OXFORD TEXTS IN LOGIC 1 (Hardback)
  • A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - OXFORD TEXTS IN LOGIC 1 (Hardback)
zoom

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - OXFORD TEXTS IN LOGIC 1 (Hardback)

(author)
£175.00
Hardback 452 Pages / Published: 08/07/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Oxford University Press
ISBN: 9780198529804
Number of pages: 452
Weight: 894 g
Dimensions: 248 x 173 x 30 mm

You may also be interested in...

Theory of Knowledge
Added to basket
Thinking as Communicating
Added to basket
Principles of Mathematics
Added to basket
Nature's Numbers
Added to basket
£8.99
Paperback
Quadrivium
Added to basket
£16.99
Hardback
Mathematical Methods in Engineering
Added to basket
Letters to a Young Mathematician
Added to basket
The Man Who Knew Infinity
Added to basket
Causality
Added to basket
£31.49
Hardback
Secrets of Infinity
Added to basket
Defending the Axioms
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.