What are some recommended books on mathematical logic and set theory?

Click For Summary

Discussion Overview

The discussion focuses on recommendations for books on mathematical logic and set theory, particularly aimed at beginners. Participants express interest in understanding foundational concepts such as axioms, theorems, and methods of proof.

Discussion Character

  • Exploratory
  • Homework-related

Main Points Raised

  • One participant seeks beginner-friendly books on logic and set theory, emphasizing the need for well-known classics that are likely to be available internationally.
  • Another participant recommends "Discrete Mathematics" by Kenneth Rosen, highlighting its clear language and comprehensive coverage of topics including logic, sets, and algorithms, suitable for beginners.
  • A different participant suggests "Language, Proof and Logic" by Jon Barwise and John Etchemendy, noting its modern approach and the inclusion of software for formulating arguments and receiving evaluations online.

Areas of Agreement / Disagreement

Participants generally agree on the need for accessible resources but present different book recommendations without any consensus on a single best option.

Contextual Notes

Participants have not specified any particular prerequisites or prior knowledge required for the suggested books, nor have they discussed the depth of coverage in relation to advanced topics.

C0nfused
Messages
139
Reaction score
0
Hi everybody,
I am looking for books about Logic and Set Theory. In particular, I am looking for not very advanced books. What are axioms, how do theorems connect to the axioms, how are we sure that some methods of proving give always correct and general results-these are some of the questions that I am looking for answers (i think this is part of mathematical logic, isn't it?). Any help would be appreciated
Thanks

P.S: I don't live in the U.S.A or U.K. so as you understand, only really well-known books might be found in my country. So I would prefer you to suggest some of the "classics" that can probably be found everywhere
 
Physics news on Phys.org
"Discrete Mathematics" from Kenneth Rosen, McGraw Hill, is a classic. It treats logic (along with other topics like number theory, sets, probability, Boolean Algebra, algorithms, etc) in depth, in clear language for beginners, with plenty of examples, exercises and case studies, many of which are drawn from computer science.
 
Thanks for your suggestion. I will check it out
 
A really great modern introduction to the subject is Language, Proof and Logic by Jon Barwise and John Etchemendy. Not only is the text superb, but it comes with software by which you can formulate arguments. And then you can send your solutions to their website's "Grade Grinder", and they will evaluate them for you!

The homepage (at Stanford) is here:

http://www-csli.stanford.edu/LPL/

Do check it out!
 
Last edited by a moderator:

Similar threads

Mathematica Mathematical Logic - Dandah symbol for discharging assumptions ....
  • · Replies 5 ·
Replies
5
Views
5K
Mathematica Which English-Language Books on Mathematical Modeling Are Recommended?
  • · Replies 6 ·
Replies
6
Views
2K
Is Yuri Manin's A Course in Mathematical Logic generally unsound?
  • · Replies 13 ·
Replies
13
Views
3K
Is mathematics invented or discovered?
  • · Replies 64 ·
3
Replies
64
Views
5K
Books on mathematical logic, foundations, and philosophy
  • · Replies 19 ·
Replies
19
Views
5K
Book recommendations (abstract algebra and number theory)
  • · Replies 5 ·
Replies
5
Views
4K
Books on Weak Interaction
  • · Replies 0 ·
Replies
0
Views
2K
Other What are some good books for learning Galois Theory?
  • · Replies 36 ·
2
Replies
36
Views
6K
Other Intro Logic Books (differences between Peter Smith, J.J. Smith and P.Teller)
  • · Replies 1 ·
Replies
1
Views
2K
Recommendations for study materials to prepare for undergrad Physics
  • · Replies 7 ·
Replies
7
Views
3K