ISBN: 9780198529811 - a first course in logic : an introduction to model theory, proof theory, computability, and complexity: an introduction to model theory, proof theory, ... complexity (oxford texts in logic, band 1) (4 Ergebnisse)

Zustand: Fine. 431 pp., paperback, near fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: New. In English.

Zustand: New. Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course. Series: Oxford Texts in Logic S. Num Pages: 452 pages, black & white illustrations. BIC Classification: HPL; PBB; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 172 x 22. Weight in Grams: 736. . 2004. Paperback. . . . . Books ship from the US and Ireland.…