# Tagged Questions

**21**

votes

**14**answers

2k 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

**7**answers

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

**8**answers

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

**12**answers

4k 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

**5**answers

784 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

**10**answers

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

**4**answers

839 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 ...