reference request - Good books on mathematical logic?
Sep 4, 2021 · A book that should be read by everyone in mathematics regardless of level is Wolfe's A Tour Through Mathematical Logic. It's simply a compulsory read, I couldn't put it down. It gives a broad overview of mathematical logic and set theory along with its history, and it is absolutely beautifully written.
What books to use to start studying Mathematical Logic?
Feb 26, 2013 · Before moving on to Mathematical Logic, I'd suggest you get a firm grasp of propositional logic, as Ittay Weiss suggests. You'll want to master predicate logic, and to develop a thorough understanding of quantifiers. One very helpful, credible (and freely available!) resource is Paul Teller's Logic Primer. (The link will take you to Paul Teller ...
Highly Rigorous Logic Book - Mathematics Stack Exchange
Nov 1, 2017 · (2) More interestingly, Donald Barnes and John Mack's An Algebraic Introduction to Mathematical Logic develops the theory of free algebras in the first chapter and makes extensive use of it in introducing the syntax of both propositional and first-order logic. Since you explicitly mentioned free words, this may be of interest.
Book recommendation about set theory and mathematical logic
Feb 4, 2022 · The Open Logic Project has some books on logic and set theory. They're all free and open source. There are also some questions on the site that cover half your question. For example, this decade-old question lists books on mathematical logic, but doesn't say which ones also cover set theory.
Book on the Rigorous Foundations of Mathematics- Logic and Set …
I am asking for a book that develops the foundations of mathematics, up to the basic analysis (functions, real numbers etc.) in a very rigorous way, similar to Hilbert's program. Having read this question: " Where to begin with foundations of mathematics" I understand that this book must have: Propositional Logic; First Order-Predicate Logic ...
logic - Where to begin with foundations of mathematics
The best book I know to begin with for the foundations of mathematics is a little known book that should be MUCH more widely known then it is: Robert Wolfe's A Tour Through Mathematical Logic.
Good book for logic self-study with answers to exercises
Feb 9, 2017 · I picked Chiswell and Hodges "Introduction to Mathematical Logic" which I found in Peter Smith's guide and I personally regard it as one of the best mathematical book I have ever read. It has a lot of exercises many of them have full solutions. I am also self learner and I know how important are exercises with at least answers if not full ...
reference request - Logic and set theory textbook for high school ...
The Suppes and Hill logic book that Rubin refers to in these 2008 posts is. First Course in Mathematical Logic by Patrick Suppes and Shirley Hill (1964; reprinted by Dover Publications in 2002) and the book by his wife (she died in 2002) that Rubin also mentions is. Mathematical Logic: Application and Theory by Jean E. Rubin (1990).
Introductory modal logic book for mathematicians
Aug 10, 2024 · To begin, the book "Introduction to Modal Logic" by Blackburn, De Rijke, and Venema is a great resource for modal logic. It is a good place to start learning modal logic and to get exposure to more advanced topics and classic results.
Shoenfield introductory mathematical logic book alternatives
Sep 13, 2019 · Other books that deserve mention are: (1) Leary & Kristiansen's A Friendly Introduction to Mathematical Logic, which, as the title says, is very friendly and has a similar coverage to Enderton; (2) Boolos, Jeffrey & Burgess's Computability and Logic, which has some really nice chapters on models of Peano Arithmetic (including topics not often ...