23
votes
14answers
3k views

Essential reads in the philosophy of mathematics and set theory

I am graduate student and have a decent understanding of logic and set theory. Recently I have got interested in the philosophy of mathematics and set theory. I have read a number of papers by ...
3
votes
7answers
2k views

Ask for recommendations for textbook on mathematical logic

I studied mathematical logic using a book not written in English. I would now like to study it again using a textbook in English. But I hope I can read a text that is similar to the one I used before, ...
11
votes
8answers
2k views

Decent Texts on Categorical Logic

Recently I read the chapter "Doctrines in Categorical Logic" by Kock, and Reyes in the Handbook of Mathematical Logic. And I was quite impressed with the entire chapter. However it is very short, and ...
10
votes
12answers
5k views

undergraduate logic textbook

I am going to teach the standard undergraduate Logic course for math and engineering majors. What are good (bad) text-books and why. I have not taught that course for a while and wonder if there are ...
-1
votes
5answers
794 views

finding cutting edge papers and books

Hi all, what are the best strategies to find cutting edge papers and books on a field of mathematics? .. Example: 2-3 years ago I had to analyze a time series. I found a paper and showed that to ...
1
vote
10answers
3k views

Propositional logic and first order logic textbook

What are in your opinion some good propositional and first order logic textbooks (undergraduate level) ? I need one that focuses mainly on the aspects of logic related to computer science. thanks in ...
6
votes
4answers
864 views

A book explaining power and limitations of Peano Axioms?

Are there books or survey articles explaining the subject to a non-expert? To clarify what I mean, here is a couple of issues that I would like to read about. (I am mainly interested in references but ...