Recursion Theory Books
Showing 1-31 of 31
Computability: An Introduction to Recursive Function Theory (Paperback)
by (shelved 2 times as recursion-theory)
avg rating 4.00 — 31 ratings — published 1980
Logic, Induction and Sets (London Mathematical Society Student Texts, 56)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 5 ratings — published 2003
Computability: Turing, Godel, Church, and Beyond (Hardcover)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 21 ratings — published 2013
Computability Theory (Student Mathematical Library)
by (shelved 1 time as recursion-theory)
avg rating 4.50 — 2 ratings — published 2012
Handbook of Computability Theory (Kindle Edition)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published 1999
Recursion Theory, its Generalisations and Applications (London Mathematical Society Lecture Note Series, Series Number 45)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published 1980
Computational Complexity of Logical Theories (Paperback)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 1 rating — published 1979
Recursive Function Theory and Logic (Hardcover)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 1 rating — published 1971
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 1 rating — published 1970
Computability and Complexity Theory (Texts in Computer Science)
by (shelved 1 time as recursion-theory)
avg rating 1.00 — 2 ratings — published 2001
Definability and Computability (Siberian School of Algebra and Logic)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 1 rating — published 1996
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity (Hardcover)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published
Provability, Computability and Reflection (Kindle Edition)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published 1988
Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)
by (shelved 1 time as recursion-theory)
avg rating 4.75 — 4 ratings — published 2000
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
by (shelved 1 time as recursion-theory)
avg rating 4.36 — 22 ratings — published 2004
Computability Theory (Chapman Hall/CRC Mathematics Series)
by (shelved 1 time as recursion-theory)
avg rating 4.17 — 18 ratings — published 2003
Theory of Recursive Functions and Effective Computability (Mit Press)
by (shelved 1 time as recursion-theory)
avg rating 4.20 — 20 ratings — published 1967
Recursion Theoretic Hierarchies (Perspectives in Mathematical Logic Ser)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published 1978
Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline (Paperback)
by (shelved 1 time as recursion-theory)
avg rating 3.67 — 9 ratings — published 1999
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic)
by (shelved 1 time as recursion-theory)
avg rating 5.00 — 5 ratings — published 1987
Proofs and Computations (Perspectives in Logic)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published 2011
Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)
by (shelved 1 time as recursion-theory)
avg rating 3.50 — 2 ratings — published 1993
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. II (Hardcover)
by (shelved 1 time as recursion-theory)
avg rating 4.50 — 4 ratings — published 1999
Recursion Theory (Lecture Notes in Logic, 1.)
by (shelved 1 time as recursion-theory)
avg rating 4.00 — 2 ratings — published 1995
Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics)
by (shelved 1 time as recursion-theory)
avg rating 3.50 — 2 ratings — published 1997
The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94)
by (shelved 1 time as recursion-theory)
avg rating 3.50 — 2 ratings — published 2002
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 (Studies in Logic and the Foundations of Mathematics, Vol. 125)
by (shelved 1 time as recursion-theory)
avg rating 4.25 — 12 ratings — published 1992
Ω-Bibliography of Mathematical Logic: Recursion Theory (Perspectives in Mathematical Logic)
by (shelved 1 time as recursion-theory)
avg rating 0.0 — 0 ratings — published 2013
Theory of Computation (Hardcover)
by (shelved 1 time as recursion-theory)
avg rating 4.33 — 3 ratings — published 2012
Computation, Logic, Philosophy: A Collection of Essays (Mathematics and its Applications, 2)
by (shelved 1 time as recursion-theory)
avg rating 3.50 — 2 ratings — published 1991
Mathematical Logic (Addison-Wesley Series in Logic)
by (shelved 1 time as recursion-theory)
avg rating 4.10 — 21 ratings — published 2001
