Saltar menú de navegación Teclas de acceso rápido

The Semantic Foundations of Logic

Classical Mathematical Logic

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.

Teclas de acceso