Mathematical logic : applications and theory - Rubin, Jean E. (Philadelphia : Saunders College Pub., 1990)
Includes index.
Keywords: Logic, Symbolic and mathematical