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...
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Published by
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Used
Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ZB1353243
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Published by
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Used
paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_482580737
Stock Image
A First Course in Logic. an Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic 1)
Published by
Oxford University Press, Oxford, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Used
Original decorated wrappers
First Edition
Seller: Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom
Seller rating 3 out of 5 stars
Original decorated wrappers. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. First Paperback Edition; First Printing. Covers plasticised. Slight wear to spine, covers & corners.; Large 8vo 9" - 10" tall; xx, 431 pages. Seller Inventory # LCK90815
Seller Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Published by
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Used
Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. This book is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0198529813.VG
Stock Image
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)
Published by
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Used
Paperback
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # GOR002342969
Buy Used
£ 49.68
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780198529811
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # 48Z80_86_0198529813
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
Seller Image
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
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3184531
Stock Image
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0198529813