Opening the shelf…
Opening the shelf…
Book dossier
by George Tourlakis
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
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
Hans Hermes