Opening the shelf…
Book dossier
by Daniel E. Cohen
No description is available for this edition yet.
Computability and logic
George Boolos
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
Discrete structures, logic, and computability
James L. Hein
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
