Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm a civil engineer that spends all of its free time (with the permission of my wife and my two children) studying set theory and mathematical logic. For instance, I've read and enjoyed "Axiomatic set Theory" by Suppes, Enderton's "Elements of set theory","Mathematical logic" by Shoenfield or "A course in mathematical logic" by Bell and Machover. Now, my goals are the history and the development of these two mathematical branches. In this sense I'm reading "Foundations of Set Theory" by Fraenkel, Bar-hilleil and levy or "Labyrinth of thought" by José Ferreirós and I would like to have in the same line as the above good books in the foundations of mathematical logic.

Thank you in advance

share|cite|improve this question
2 recommendations geared to category theory: Lawvere & Rosebrugh: "Set Theory for Mathematics" 2003. Paul Taylor "Practical Foundations of Mathematics" 1999. – alancalvitti Dec 22 '12 at 6:01

The reading list/study guide linked at is only half done yet [reminder to self to get on with it!] but might contain one or two helpful suggestions.

share|cite|improve this answer
Perfect this is a good starting point. Yhanks a lot – Guillermo Dec 28 '12 at 19:50

You might like the book "Foundations of Mathematics" by William S. Hatcher.

share|cite|improve this answer

You might be interested in van Heijenoort's From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931.

On a different line, I recommend Dauben's biography of Cantor, and his more recent Battle for Cantorian Set Theory.

share|cite|improve this answer
I already looked up "From Frege to Godel" but although is a great collection of articles written by those who actually built up the foundations of mathematics, what I'm interested in is a book that covers from 1870 and 1940 just in the line of From Frege to Godel but maybe written by a unique author in the same way as Jose Ferreiros does in the "Labyrinth of thought". However articles of different authors as provided in the former book are good enough in the book Philosophy of Mathematics:selected readings by Paul Benacerraf and hilary Putman. – Guillermo Dec 28 '12 at 19:46

Introduction to Mathematical Thinking is a very good book in my opinion. It is even more effective when you read it along with the courseware of the course by the same name.

share|cite|improve this answer
This is course for people who did not have any decent contact with mathematics like students of social sciences. – Trismegistos Jan 9 '13 at 13:18

Foundations of Mathematical Logic by Haskell B. Curry is a good book on this topic.

share|cite|improve this answer

If you are interest in knowing it's application in Computer Science then you can go for Discrete Mathematical Structures With Applications to Computer Science - Jean Paul Tremblay, Rampurkar Manohar .

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.