- #1

- 5,584

- 24

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.