{"product_id":"what-is-mathematical-logic-9780198930860","title":"What Is Mathematical Logic?","description":"Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. \u003cp\u003e\u003c\/p\u003eThis second edition of \u003cem\u003eWhat is Mathematical Logic?\u003c\/em\u003e, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detailed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, covering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics. \u003cp\u003e\u003c\/p\u003eStudents of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Guillermo Badia,John N. Crossley,John C. Stillwell\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Oxford University Press\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/11\/2026\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 160\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.9lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.70d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780198930860\u003cbr\u003e\u003cb\u003e2nd Edition\u003c\/b\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":45521216536713,"sku":"9780198930860","price":35.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0636\/9240\/6921\/files\/img_a3eb2305-8c28-485f-a3c5-1869414474b9.jpg?v=1776226587","url":"https:\/\/sonsanddaughtersbooks.com\/products\/what-is-mathematical-logic-9780198930860","provider":"Sons and Daughters Books","version":"1.0","type":"link"}