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