Boolos, George S. Computability and logic George S. Boolos, Richard C. Jeffrey. - 3a ed. - New York : Cambridge, c1989 - x, 304 p. : il. ; 20 cm. Incluye índice ISBN: 0521389232 Subjects--Topical Terms: Funciones recursivasLógica matemática LC Class. No.: QA9.59 / B66 1989