Have you looked at the table of contents? http://people.ucalgary.ca/~rzach/static/open-logic/open-logic-complete.pdf http://people.ucalgary.ca/~rzach/static/op

Have you looked at the table of contents? http://people.ucalgary.ca/~rzach/static/open-logic/open-logic-complete.pdf http://people.ucalgary.ca/~rzach/static/open-logic/open-logi... Summary: They are going for the foundations of maths, computer science, and logic with completeness, decidability and computability on the menu. I don't know the authors, and I understand your reticence, but the contents looks really good. It's not the kind of logic a practitioner would care about, probably, but it is the big mathy results that logicians do need to learn: they actually mention that this isn't a new course for them, but rather a reference book for lessons that are already given to philosophers. It's also clearly not written for people who are afraid of maths -- I'm more concerned about their targeted audience. Can you go through that text without an already solid interest in maths?