Opening the shelf…
Opening the shelf…
Book dossier
by Hartley Rogers
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
Computability and Logic
Daniel E. Cohen
Noncommutative Polynomial Algebras of Solvable Type and Their Modules
Huishi Li
Computability & unsolvability
Davis, Martin
Computability and complexity theory
Steven Homer
Enumerability, Decidability, Computability
Hans Hermes
Theory of Computation
George Tourlakis