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.
Other Popular Editions of the Same Title
Search results for A First Course in Logic : An Introduction to Model...
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 books 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 (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 4 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
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
Used
Softcover
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00198529813-G
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
Buy New
£ 78.43
£ 5.87 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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
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
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
Buy New
£ 77.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock 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
Buy New
£ 77.30
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
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: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3184531
Buy Used
£ 86.72
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
First Course in Logic
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: 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. . . . . Seller Inventory # V9780198529811