## 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.