MHB Best Logic Textbooks for Advanced Learning

  • Thread starter Thread starter hmmmmm
  • Start date Start date
  • Tags Tags
    Logic Textbooks
AI Thread Summary
Recommended textbooks for advancing in logic include Elliott Mendelson's "Introduction to Mathematical Logic" and Herbert Enderton's "A Mathematical Introduction to Logic." Other notable mentions are "Computability and Logic" by Boolos, Burgess, and Jeffrey, and "Mathematical Logic" by Shoenfield, which cover Gödel's incompleteness theorems. For those interested in proof theory and non-classical logics, "Proofs and Types" by Girard, Taylor, and Lafont is suggested. Additionally, exploring category theory can be beneficial, with "Conceptual Mathematics" by Lawvere and Schanuel as a gentle introduction. These resources provide a solid foundation for further study in mathematical logic.
hmmmmm
Messages
27
Reaction score
0
I was wondering if anyone could recommend some good logic textbooks. I have done introductory courses covering, propositional and predicate logic (with natural deduction, semantic tableaux, axiomatic systems...) covering the completeness, soundness and compactness results (amongst other things) and was wondering if anyone could recommend a textbook to take me a bit further.

Thanks for any help
 
Physics news on Phys.org
I would recommend Elliott Mendelson's "Introduction to Mathematical Logic" . also Herbert Enderton's "A mathematical introduction to logic"
 
hmmm16 said:
I was wondering if anyone could recommend some good logic textbooks. I have done introductory courses covering, propositional and predicate logic (with natural deduction, semantic tableaux, axiomatic systems...) covering the completeness, soundness and compactness results (amongst other things) and was wondering if anyone could recommend a textbook to take me a bit further.

Thanks for any help
IssacNewton's recommendation is a good one. I also liked Hunter's Metalogic.
 
IssacNewton said:
I would recommend Elliott Mendelson's "Introduction to Mathematical Logic" . also Herbert Enderton's "A mathematical introduction to logic"
These books are not bad, although there are some things I don't like about Mendelson. I had one of the early editions, and it only had Hilbert calculus as a deductive system. Also, its proofs, especially of Gödel's incompleteness theorems, were pretty dense. Finally, it described Von Neumann-Bernays-Gödel set theory instead of a much more popular ZFC. Newer editions may be better.

It seems you have studied the beginning of proof theory. The next logical step is Gödel's incompleteness theorems, which is described in the two books above. One classical and very good book is "Computability and Logic" by Boolos, Burgess and Jeffrey. Another classical book is "Mathematical Logic" by Shoenfield. There are also many other books about Gödel's theorems, such as "The Incompleteness Phenomenon" by Goldstern and Judah. Speaking about this, I would recommend a book for a wide audience (not really a math textbook) "Meta Math!: The Quest for Omega" by one of the founders of algorithmic complexity Chaitin. It gives a different view on Gödel's theorem.

Speaking about proof theory, another important area is non-classical logics, such as intuitionistic, modal and linear logics, which is a subject closely related to computer science. There is a classical book "Proofs and Types" by Girard, Taylor and Lafont, which is available online. There is also "Lectures on the Curry-Howard Isomorphism" by Sørensen and Urzyczyn, whose previous version is available online.

Proof theory is one of the four main parts of mathematical logic. There is a "Handbook of Mathematical Logic" edited by Barwise, which also includes parts on set theory, model theory and computability. There are many textbooks on set theory, such as "Intermediate Set Theory" by Drake and Singh. Classic books in model theory include "Model Theory" by Chang and Keisler. A couple of classic books on computability are "Theory of Recursive Functions and Effective Computability" by Rogers and "Recursion Theory" by Shoenfield.

One topic that is closely related to logic and computer science is category theory, or "abstract nonsense," as it is called by mathematicians. It plays an increasingly important role in the theory of programming languages, for example. "Conceptual Mathematics: A First Introduction to Categories" by Lawvere and Schanuel is a very gentle introduction. Another good classical book is "Topoi: The Categorial Analysis of Logic" by Goldblatt (available online).

Unfortunately, most of these books are pretty old, and I am not familiar with modern logic textbooks. For newer books, I would recommend asking a professor who teaches logic or looking through textbooks reviews in the "Bulletin of Symbolic Logic."
 
Thanks for the responses, I just picked up mendelson's book from the library yesterday so I shall see how that goes. I shall need to take a look for some of the books you recommended makarov.
thanks for the help
 
This thread only works as a summary from the original source: List of STEM Masterworks in Physics, Mechanics, Electrodynamics... The original thread got very long and somewhat hard to read so I have compiled the recommendations from that thread in an online (Google Drive) spreadsheet. SUMMARY Permits are granted so you can make comments on the spreadsheet but I'll initially be the only one capable of edition. This is to avoid the possibility of someone deleting everything either by mistake...
By looking around, it seems like Dr. Hassani's books are great for studying "mathematical methods for the physicist/engineer." One is for the beginner physicist [Mathematical Methods: For Students of Physics and Related Fields] and the other is [Mathematical Physics: A Modern Introduction to Its Foundations] for the advanced undergraduate / grad student. I'm a sophomore undergrad and I have taken up the standard calculus sequence (~3sems) and ODEs. I want to self study ahead in mathematics...

Similar threads

Replies
2
Views
2K
Replies
23
Views
5K
Replies
12
Views
3K
Replies
3
Views
3K
Replies
2
Views
9K
Replies
1
Views
3K
Replies
5
Views
4K
Back
Top