De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
*stephen c. kleene, 1967, "mathematical logic", dover edition 2002, dover publicastions, inc, mineola n.y. isbn 0-486-42533-9 (pbk.
* stephen c. kleene, 1967, "mathematical logic", dover edición de 2002, dover publicastions, inc, mineola n.y. isbn 0-486-42533-9 (pbk.