A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Product details
| Management number | 232087608 | Release Date | 2026/06/18 | List Price | $43.10 | Model Number | 232087608 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 0198529813 |
|---|---|
| ISBN13 | 978-0198529811 |
| Edition | 1st |
| Language | English |
| Publisher | Oxford University Press |
| Dimensions | 9.4 x 6.58 x 0.99 inches |
| Item Weight | 1.7 pounds |
| Print length | 431 pages |
| Publication date | September 9, 2004 |
Bestseller ranking
Logic
Customers who viewed this product also viewed
Mystery
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form