All Questions
8
questions
1
vote
0
answers
294
views
What a good alternative for Mendelson's math logic can I read?
I am a programmer and I am master of computer science. I remember we studied mathematical logic with Mendelson's book "Introduction to mathematical logic" and I barely understood this book ...
- 119
37
votes
15
answers
8k
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 ...
5
votes
7
answers
6k
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, ...
- 744
20
votes
8
answers
5k
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 ...
18
votes
15
answers
14k
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 ...
0
votes
5
answers
952
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 ...
8
votes
12
answers
11k
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
5
answers
2k
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 ...
- 32.2k