2

I am writing my bachelor thesis in english, but I have studied logic in my different native language. Since a rely on elementary results from first-order predicate logic (especially satisfaction in structures), I should reference the reader to a textbook for details.

Is there a standard textbook that starts with elementary propositional logic and goes to Incompleteness theorems?

mikulas
  • 327
  • 1
    Hamilton's Logic for Mathematicians might be a good choice. It is elementary and also covers all that you said, and it is not very wordy or involved in tangential issues (so I think it might be easy to use as a reference for words and phrases you want to find). – Dave L. Renfro Aug 03 '16 at 19:27
  • Feel free to post your comment as an answer so I can mark this as solved, I've looked into Hamilton's book and it is spot on. Thank you. – mikulas Aug 04 '16 at 00:40

1 Answers1

1

Hamilton's Logic for Mathematicians might be a good choice. The book is elementary and it also covers all that you said. In addition, the book is not very wordy or involved in tangential issues, which means that it might be easy to use as a reference for words and phrases you want to find.

Dave L. Renfro
  • 36,843