Books > Science & Mathematics > Mathematics > Philosophy of mathematics
|
Buy Now
A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Paperback)
Loot Price: R2,612
Discovery Miles 26 120
|
|
A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Paperback)
Series: Oxford Texts in Logic
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.