5
votes
4answers
632 views

“Introduction to mathematical logic” book from a formalist perspective

I'm looking for books that introduce the reader to mathematical logic assuming the perspective of a formalist. I've found that many books are more or less written for the platonist - like Kunen's ...
3
votes
1answer
380 views
3
votes
1answer
584 views

Books on logic for someone aiming to go to grad school in the field?

I have taken two introductory courses on logic. One was an undergraduate level and the second one was at the graduate level. Both used a set of notes written by the instructor. I'm thinking about ...
4
votes
2answers
947 views

Any suggestions for a course in Mathematical Logic?

I am teaching a topics course for Mathematics majors (at Temple), and am considering Logic as the topic. I was wondering if people (a) have suggestions for an appropriate text and (b) how much might ...
4
votes
6answers
2k views

A book about model theory

I am looking for a good book about model theory. As this is obviously too vague, let me explain what I am looking for and why. First I am interested about the basics and foundations of model theory. ...
2
votes
0answers
157 views

Are there any recommended texts that cover Turing Tilings?

I have read the original paper by Wang, as well as a paper by Boas [1996] entitled 'the Convenience of Tilings', but wanted to know if there were any other texts that people could recommend that ...
4
votes
7answers
4k views

What is some good introduction to lambda calculus?

I have some background in set theory and automata and I am looking for a good place to start with lambda calculus.
4
votes
7answers
2k views

probability and math puzzle books/references

Hi All, I'd like to solve some math puzzles, especially in the context of probability theory, but I'm open to other areas too. The kind of problems that does not require much knowledge of mathematics, ...
10
votes
12answers
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 ...
9
votes
10answers
3k views

The best text to study both incompleteness theorems

Hi! What text on both incompleteness theorems you would recommend for beginner? Specifically, I'm looking for the text with the following properties: 1) The proofs should be finitistic, in Godel's ...