Yasuhara, Ann. Recursive function theory and logic - New York : Academic Press, 1971 - 338 p. - Computer science and applied mathematics . - Computer science and applied mathematics . LCCN: 55124 Subjects--Topical Terms: Funciones.Lógica simbólica y matemática. Dewey Class. No.: 511.3 / Y3