Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Mimi comments on The Best Textbooks on Every Subject - Less Wrong

167 Post author: lukeprog 16 January 2011 08:30AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (327)

You are viewing a single comment's thread.

Comment author: Mimi 19 March 2012 02:04:24AM *  2 points [-]



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


Van Dalen's "Logic and Structure" and then Fitting, "First Order Logic and Automated theorem proving" to fill in the gaps


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"


Apostol, "Calculus" 2 volumes (Still a classic)

Demidovich, "Problems in mathematical analysis" (Classic drill book)


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!)

Comment author: ArthurRainbow 06 September 2016 01:10:46PM 0 points [-]

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

Comment author: gjm 08 September 2016 05:20:07PM -1 points [-]

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.