Subject: Computable functions

Sub-subjects

Books under this subject

• Computability and Logic by George Boolos (147 copies)
• Computability and Unsolvability (Mcgraw-Hill Series in… by Martin Davis (70 copies)
• Introduction to Languages and the Theory of Computation by John C. Martin (58 copies)
• Automata and Computability (Undergraduate Texts in Computer… by Dexter C. Kozen (38 copies)
• Theory of Recursive Functions and Effective Computability by H. Rogers (37 copies)
• The theory of computer science: A programming approach by J. M. Brady (3 copies)
• Computability: A Mathematical Sketchbook (Graduate Texts in… by Douglas S. Bridges (3 copies)
• Unsolvable Classes of Quantificational Formulas by Harry R. Lewis (2 copies)
• Enumerability, decidability, computability An introduction… by Hans Hermes (1 copies)
• Hilbert's tenth problem by ÍÙ. V. Matiíàsevich (1 copies)
• Hilbert's Tenth Problem by Yuri V. Matiiyasevich (1 copies)