Enderton, Herbert B. A mathematical introduction to logic - New York : Academic Press, 1972 - 295 p. LCCN: 41206 Subjects--Topical Terms: Lógica simbólica y matemática. Dewey Class. No.: 511.3 / E5