Malitz, Jerome. Introducción to methematical logic : set theory, computable functions, model theory - New York : Springer-Verlag, 1979 - 198 p LCCN: 29920 Subjects--Topical Terms: Lógica simbólica y matemática. Dewey Class. No.: 511.3 / M35