Mimi comments on The Best Textbooks on Every Subject

[Mimi]

Logic:

--mathematical

Enderton, “A mathematical introduction to logic” then Shoenfield’s classic “Mathematical logic”

Cori and Lascar, “Mathematical logic: a course with exercise” for exercises for self-study

Manin, “A course in mathematical logic” for additional enrichment

--computational

Van Dalen’s “Logic and Structure” and then Fitting, “First Order Logic and Automated theorem proving” to fill in the gaps

--philosophical

From Frege to Goedel: a sourcebook in mathematical logic

additional works by Frege and Cantor in dover reprints or in the original.

“Goedel’s Proof” by Nagel

“Goedel, Escher and Bach” by Hofstadter

--modal and fuzzy

Goldblatt, “Logics of Time and Computation” (Introduction to modal logic through temporal logic)

Bergmann, “An introduction to many valued and fuzzy logic”

Calculus:

Apostol, “Calculus” 2 volumes (Still a classic)

Demidovich, “Problems in mathematical analysis” (Classic drill book)

Topology:

Viro, “Elementary Topology Problem Textbook” (Based on a classic course)

Modern Abstract Algebra:

Jacobson, “Basic Algebra” volumes 1 and 2

History of Western Philosophy:

Basic primary sources in western philosophy (Not a textbook!)

[Arthur Milchior]

I think you are supposed to tell which is the one you recommend. I would like to read a textbook on mathematical logic, and would like to know which one to choose. And you just give a list without any advice

[gjm]

Yup. Preferably with some explanation of why the recommended book is being recommended over some of its rivals. But the comment you’re replying to is from >4 years ago, and the person who wrote it hasn’t written anything else here for >4 years, so I suspect there’s little point complaining.