An introduction to mathematical logic / Richard E. Hodel. - Hodel, Richard E. (Boston, Mass. PWS Pub. Co., 1995)
Keywords: Logic, Symbolic and mathematical