# Tagged Questions

**5**

votes

**4**answers

674 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

**1**answer

394 views

### Suggestions on the best introductory Model Theory texts

Any recommendations on the best texts for introducing Model Theory?

**3**

votes

**1**answer

596 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

**2**answers

955 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

**6**answers

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

**0**answers

159 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

**7**answers

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

**7**answers

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

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

**9**

votes

**10**answers

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