Mendelson, Elliott . Introduction to mathematical logic / by Elliott Mendelson. - 4th ed / - London : Chapman & Hall , 1997 - 440p : ISBN: 0-412-80830-7 Subjects--Topical Terms: Mathematical logic Dewey Class. No.: B32 / P0