Wow! eBook
What Is Mathematical Logic? 2nd Edition
Author(s): Guillermo Badia (Author), John N. Crossley (Author), John C. Stillwell (Author), Christopher J. Ash † (Author), Christopher J. Brickhill † (Author), Neil H. Williams (Author)
- Publisher: Oxford University Press
- Publication Date: March 11, 2026
- Edition: 2nd
- Language: English
- Print length: 160 pages
- ISBN-10: 0198930860
- ISBN-13: 9780198930860
Book Description
This second edition of
What Is Mathematical Logic? 2nd Edition, 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.Students 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.
Editorial Reviews
About the Author
{“@context”:”https://schema.org”,”@type”:”Book”,”name”:”What Is Mathematical Logic? 2nd Edition”,”image”:”https://m.media-amazon.com/images/I/41N+xFND8dL._SY445_SX342_FMwebp_.jpg”,”author”:{“@type”:”Person”,”name”:”Guillermo Badia (Author), John N. Crossley (Author), John C. Stillwell (Author), Christopher J. Ash † (Author), Christopher J. Brickhill † (Author), Neil H. Williams (Author)”},”publisher”:{“@type”:”Organization”,”name”:”Oxford University Press”},”datePublished”:”March 11, 2026″,”isbn”:”9780198930860″,”numberOfPages”:160,”inLanguage”:”English”,”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. This second edition of What Is Mathematical Logic? 2nd Edition, 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.Students 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.”,”bookEdition”:”2nd”,”url”:”https://www.amazon.com/dp/0198930860/”,”bookFormat”:”http://schema.org/EBook”,”additionalType”:”http://schema.org/PDF”,”fileSize”:”60 MB”,”accessibilityFeature”:[“login required”,”member access only”],”accessibilitySummary”:”PDF version available to authenticated members only. File size: 60 MB.”}
