#### Tom Mattson

Staff Emeritus

Science Advisor

Gold Member

- 5,475

- 20

The following is a first course in formal mathematical logic.

http://www.trentu.ca/academic/math/sb/pcml/pcml-i-15.pdf

Looking through the book, I do not see any that the author presupposes any mathematical knowledge. Volume II,

*Computability and Inccompleteness*, will lead us to Goedel's theorem.