Computability

Automata, Computability and Complexity: Theory and Applications

Elaine A. Rich

Elements of the Theory of Computation (2nd Edition)

Harry Lewis,Christos H. Papadimitriou

Elements of the Theory of Computation

Harry Lewis,Christos H. Papadimitriou

A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg

Computability and logic

George S. Boolos,John P. Burgess,Richard C. Jeffrey

Prolog Experiments in Discrete Mathematics, Logic, and Computability

Hein J. L.

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Luigi Acerbi,Alberto Dennunzio,Enrico Formenti (auth.),S. Barry Cooper,Benedikt Löwe,Andrea Sorbi (eds.)

Computability and Logic Boolos

Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

S. Barry Cooper,John K. Truss

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek (auth.)

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman

Computability and Logic, 5th Edition

George S. Boolos,John P. Burgess,Richard C. Jeffrey

Computability and Logic, 4th edition

George S. Boolos,John P. Burgess,Richard C. Jeffrey,

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

Daniel Andersson,Kristoffer Arnsfelt Hansen (auth.),Arnold Beckmann,Costas Dimitracopoulos,Benedikt Löwe (eds.)

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov,S.S.Goncharov,A.Nerode,J.B.Remmel

Fundamentals of mathematical logic

Hinman,Peter G.

Theory of Recursive Functions and Effective Computability

Hartley Rogers

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory

Jerome Malitz (auth.)

Computability Theory: An Introduction to Recursion Theory (Instructor's Solution Manual) (Solutions)

Herbert B. Enderton

Languages and Machines: An Introduction to the Theory of Computer Science (2nd Edition)

Thomas A. Sudkamp

Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition)

Thomas A. Sudkamp

Annals of Pure and Applied Logic

Giorgi Japaridze

Archive for Mathematical Logic

Japaridze, Giorgi

Archive for Mathematical Logic

Japaridze, Giorgi

Mathematical Logic Quarterly

Martin Ziegler

Mathematical Logic Quarterly

Renata Ochranová-Doleželová

Annals of Pure and Applied Logic

Jose Maria Turull Torres

Annals of Pure and Applied Logic

Ker-I. Ko

Archive for Mathematical Logic

Ivan N. Soskov

Archive for Mathematical Logic

Dag Normann

Annals of Pure and Applied Logic

Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo