0
Your cart

Your cart is empty

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,789
Discovery Miles 27 890
A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Paperback): Shawn Hedman

A First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Paperback)

Shawn Hedman

Series: Oxford Texts in Logic

 (sign in to rate)
Loot Price R2,789 Discovery Miles 27 890 | Repayment Terms: R261 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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

Imprint: Oxford UniversityPress
Country of origin: United Kingdom
Series: Oxford Texts in Logic
Release date: July 2004
First published: September 2004
Authors: Shawn Hedman
Dimensions: 239 x 169 x 26mm (L x W x T)
Format: Paperback
Pages: 452
ISBN-13: 978-0-19-852981-1
Categories: Books > Science & Mathematics > Mathematics > Philosophy of mathematics
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 0-19-852981-3
Barcode: 9780198529811

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!

You might also like..

Theories, Sites, Toposes - Relating and…
Olivia Caramello Hardcover R3,471 Discovery Miles 34 710
Principia Mathematica
Russell Bertrand Russell Hardcover R1,219 Discovery Miles 12 190
Principia Mathematica
Russell Bertrand Russell Hardcover R1,257 Discovery Miles 12 570
Frege's Conception of Logic
Patricia A. Blanchette Hardcover R2,876 Discovery Miles 28 760
Across the Boundaries - Extrapolation in…
Daniel Steel Hardcover R2,478 Discovery Miles 24 780
Unequal - The Maths Of When Things Do…
Eugenia Cheng Hardcover R496 Discovery Miles 4 960
Hilbert's Programs and Beyond
Wilfried Sieg Hardcover R3,582 Discovery Miles 35 820
The Oxford Handbook of the History of…
Eleanor Robson, Jacqueline Stedall Hardcover R4,198 Discovery Miles 41 980
Logic, Proof and Computation
Mark Tarver Paperback R530 Discovery Miles 5 300
Seven Eyes Open - A Study Of The…
Alexander J B Connor Hardcover R926 Discovery Miles 9 260
Seven Eyes Open - A Study Of The…
Alexander James B. Connor Hardcover R915 Discovery Miles 9 150
The Scientific Counter-Revolution - The…
Michael John Gorman Hardcover R3,671 Discovery Miles 36 710

See more

Partners