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