Fourth stop: A dive into mathematical logic

This is the fourth installment in my Amazon Marketplace spending spree.

Back in school we used the horrible book “Grundläggande Logik” (eng. Basic Logic) by Kaj B. Hansen in the mathematical logics course. This book appears to be an experiment in cross-referencing chapters back and forth and informing the reader that several of the basic concepts presented are trivial and hence not explained. Even the professor we had didn’t like the book but he said that there was no better book on the subject which I later learnt should be interpreted as “there is no better book in Swedish on the subject“. I did not do too well in that course.

Recently I read the illuminating blog entry “Math For Programmers” by Steve Yegge. The following two books were recommended in the comments section and I found them at a great price so I ordered them on the spot.

Computability and Logic by George S. Boolos et. al.
Computability and Logic by George S. Boolos et. al.
Logic for Mathematicians by A.G. Hamilton
Logic for Mathematicians by A.G. Hamilton