An introduction to mathematical logic, including some of the following topics: syntax of first-order theories, Peano arithmetic, G
An introduction to mathematical logic, including some of the following topics: syntax of first-order theories, Peano arithmetic, G