Items related to A First Course in Logic : An Introduction to Model...
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Review
'a clear and unifying treatment of fundamental concepts underlying Computer Sciences and Foundations of Mathematics' Professor Boris Zilber (Professor of Mathematical Logic, University of Oxford)
'an excellent book' Professor Dov Gabbay (King's College, London)
"About this title" may belong to another edition of this title.
Search results for A First Course in Logic : An Introduction to Model...
Seller Image
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3184531-n
Quantity: Over 20 available
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780198529811_new
Quantity: Over 20 available
Stock Image
A First Course in Logic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780198529811
Quantity: Over 20 available
Stock Image
A First Course in Logic (Paperback)
Published by
Oxford University Press, Oxford, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780198529811
Quantity: 1 available
Stock Image
A First Course in Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780198529811
Quantity: Over 20 available
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Published by
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 797. Seller Inventory # C9780198529811
Quantity: Over 20 available
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # c2a06f030c282971f8e2e528964fb778
Quantity: Over 20 available
Seller Image
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3184531-n
Quantity: Over 20 available
Seller Image
A First Course in Logic (Paperback)
Published by
Oxford University Press, Oxford, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780198529811
Quantity: 1 available
Seller Image
A First Course in Logic
Published by
Oxford University Press, GB, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
New
Paperback
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Illustrated. 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. Seller Inventory # LU-9780198529811
Quantity: Over 20 available