Opening the shelf…
Book dossier
by James L. Hein
No description is available for this edition yet.
Computability and logic
George Boolos
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
Computability and Logic
Daniel E. Cohen
Theory of recursive functions and effective computability
Hartley Rogers
Noncommutative Polynomial Algebras of Solvable Type and Their Modules
Huishi Li
Computability & unsolvability
Davis, Martin
Computability and complexity theory
Steven Homer
Enumerability, Decidability, Computability
Theory of Computation
George Tourlakis
