• Support PF! Buy your school textbooks, materials and every day products Here!

1st order logic book?

  • Thread starter tgt
  • Start date
  • #1
tgt
520
2

Main Question or Discussion Point

What would be such a book which is modern and clear with good excercises and solutions?
 

Answers and Replies

  • #2
MathematicalPhysicist
Gold Member
4,185
168
I myself tried Elliot Mendelson's textbook, it doesn't have solutions to questions in it (as most textbooks in mathematical logic don't have).

Another textbook which (but) I haven't tried, but everything the author writes is truly gold, is first order logic by Raymond Smullyan, the magiclogician.
 

Related Threads for: 1st order logic book?

  • Last Post
Replies
1
Views
13K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
6
Views
4K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
2
Views
3K
Top