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