Rubin, Jean E. Mathematical logic applications and theory / Jean E. Rubin. - Philadelphia : Saunders College Publishing, 1990. - xvi, 417 p. : ill. ; 25 cm. Includes index. ISBN: 0030128080 Subjects--Topical Terms: Logic, Symbolic and mathematical.