Classical Mathematical Logic
Richard L. Epstein
This develops classical mathematical logic, viewing it as motivated by attempts to formalize mathematics. The scope and limitations of the formal system are explored: formalizations of theories of linear orders, arithmetic, groups, rings, fields, one- and two-dimensional Euclidean geometry, and second-order logic are all presented. It is the only place to see axiomatic geometry formulated in first-order logic where the syntax and semantics are clearly separated.
