Mendelson, Elliott Introduction to Mathematical Logic / Elliott Mendelson. - 3rd ed. - New York ; Albany, a.o. : Chapman & Hall : An International Thomson Publishing Company, 1987. - 341 p. - 511.3 . Index: p. 332-341 ISBN: 0-412-06971-7 Subjects--Topical Terms: Logic, Symbolic and mathematical Dewey Class. No.: 511.3