{"product_id":"what-is-mathematical-logic-hardcover","title":"What Is Mathematical Logic? - Hardcover","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eGuillermo Badia\u003c\/b\u003e (Author), \u003cb\u003eJohn N. Crossley\u003c\/b\u003e (Author), \u003cb\u003eJohn C. Stillwell\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eMathematical 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. \u003c\/p\u003e\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.\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003eGuillermo Badia, \u003cem\u003eSenior Lecturer, University of Queensland\u003c\/em\u003e, John N. Crossley, \u003cem\u003eEmeritus Professor, Monash University\u003c\/em\u003e, John C. Stillwell, \u003cem\u003eEmeritus Professor, University of San Francisco\u003c\/em\u003e, Christopher J. Ash +, \u003cem\u003eMonash University\u003c\/em\u003e, Christopher J. Brickhill +, Neil H. Williams \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cstrong\u003eGuillermo Badia\u003c\/strong\u003e is Senior Lecturer at the University of Queensland, Australia, where he teaches mathematical logic and is on the editorial board of the Springer journal Archive for Mathematical Logic. He has published over 40 papers on formal logic. From 2022 to 2025 his research is supported by a Discovery Early Career Researcher Award of the Australian Research Council. \u003cp\u003e\u003c\/p\u003e\u003cstrong\u003eJohn N. Crossley\u003c\/strong\u003e is Emeritus Professor at Monash University, Australia, where he was Professor of Pure Mathematics and of Logic. He has published extensively on logic, theoretical computer science, history of mathematics, and medieval and Asian history. \u003cp\u003e\u003c\/p\u003e\u003cstrong\u003eJohn C. Stillwell\u003c\/strong\u003e is Emeritus Professor of the University of San Francisco and former Associate Professor at Monash University, Australia. He has been given many awards for his expository writing, including 16 books, on mathematics. He has published extensively on mathematics and logic, particularly from the historical viewpoint.\u003cbr\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 160\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.7 x 9 x 6 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e March 11, 2026\u003c\/div\u003e\n            ","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":43158183116863,"sku":"9780198930860","price":71.82,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0105\/8226\/1823\/files\/RsfK9jiXd29780198930860.webp?v=1776987583","url":"https:\/\/dhlswag.com\/products\/what-is-mathematical-logic-hardcover","provider":"BBB","version":"1.0","type":"link"}