Recursion Theory Books

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