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.
'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.
Seller: Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom
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: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
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
Seller: Solr Books, Lincolnwood, IL, U.S.A.
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 3184531
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0198529813
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 3184531-n
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand. Seller Inventory # c2a06f030c282971f8e2e528964fb778
Quantity: Over 20 available
Seller: AussieBookSeller, Truganina, VIC, Australia
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
Seller: GoldBooks, Denver, CO, U.S.A.
Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # 48Z80_86_0198529813
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 3184531-n
Quantity: Over 20 available