Call Number (LC) Title Results
QA9.59 .C655 2011eb Computability in context : computation and logic in the real world / 1
QA9.59 .C67 2020eb Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings / 1
QA9.59 .C67 2021eb Connecting with computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021, Proceedings / 1
QA9.59 .C87 Computability, an introduction to recursive function theory / 1
QA9.59 .F58 1987 Computability theory, semantics, and logic programming / 1
QA9.59 .H36 1999 Handbook of computability theory / 1
QA9.59 .K46 1982 A programming approach to computability / 1
QA9.59 .M25 1984 Computability with PASCAL / 1
QA9.59 .M35 Elementary computability, formal languages, and automata / 1
QA9.59 .P68 1989 Computability in analysis and physics / 1
QA9.59 R39 1986 A first course in computability / 1
QA9.59 .W67 1987 Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / 1
QA9.59 ǂb .W67 1987eb Logic and Computation 1
QA9.6 .B73 1988 Algorithmics : theory and practice / 1
QA9.6 .C46 2015 Recursion theory : computational aspects of definability / 1
QA9.6 .C49 Techniques of admissible recursion theory / 1
QA9.6 .C66 1996 Computability, enumerability, unsolvability : directions in recursion theory / 1
QA9.6 .E6 Initial segments of degrees below 0' / 1
QA9.6 .E67 1981eb Initial segments of degrees below 0' / 1
QA9.6 .F57 1981 Fundamentals of generalized recursion theory / 1