Computability : a mathematical sketchbook

Douglas S. Bridges.

New York : Springer-Verlag, ©1994.

A first course in computability

V. J. Rayward-Smith.

Oxford : Blackwell Scientific Publications, 1986.

Problemas, lenguajes y algoritmos

Marta Sagastume, Gabriel Baum.

Campinas : Editora da UNICAMP, 1986.

Lógica y matemáticas

Jesús Vázquez y Sócrates Rivera.

[México] : Departamento de Matemáticas del Centro de Investigación y de Estudios Avanzados del IPN, 1985.

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry

Ionel Bucur ; translated from the Romanian by Mihnea Moroianu.

Bucuresti, Romania : Editura Academiei ; Dordrecht : D. Reidel, 1984.

Aspectos teóricos da computação

Cláudio L. Lucchesi ... [et al.].

Rio de Janeiro : Instituto de Matemática Pura e Aplicada : CNPq, ©1979.

A course in mathematical logic

Y. I. Manin ; translated from the Russian by Neal Koblitz.

New York : Springer-Verlag, ©1977.

Computability theory : an introduction

Neil D. Jones.

New York : Academic Press, 1973.

Recursive function theory and logic

Ann Yasuhara.

New York : Academic Press, ©1971.

Algorithms and recursive functions

A. I. Mal´cev ; translated from the first Russian edition by Leo F. Boron, with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki.

Groningen [Holanda] : Wolters-Noordhoff, ©1970.

Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968

edited by Yehoshua Bar-Hillel.

Amsterdam : North-Holland, 1970.

Recursive functions

by Rózsa Péter ; [translated by István Földes].

3rd, rev. ed.

New York : Academic Press, 1967.

Theory of recursive functions and effective computability

Hartley Rogers, Jr.

New York : McGraw-Hill, ©1967.

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

edited by John N. Crossley.

Amsterdam : North-Holland ; New York : American Elsevier, 1967.

Enumerability, decidability, computability : an introduction to the theory of recursive functions

by Hans Hermes ; translated by G.T Herman and O. Plassmann.

Berlin : Springer-Verlag, 1965.

Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963

edited by J. N. Crossley and M. A. E. Dummett.

Amsterdam : North-Holland, 1965.

Computer programming and formal systems

edited by P. Braffort and D. Hirschberg.

Amsterdam : North-Holland, 1963.

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.

Berlin : Springer, 1961.

Computability & unsolvability

Martin Davis.

New York : McGraw-Hill, 1958.

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

by R. L. Goodstein.

Amsterdam : North-Holland, 1957.