Enumerability, Decidability, Computability

Keywords

Science & MathMathematicsPure Mathematics

2014Book

Author(s)Hans Hermes, Gabor T. Herman, O. Plassmann

PublisherSpringer

ISBN9783662116876

LanguageEnglish

SpringerLink

Similar Books

Book

Unvollstñdigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gd̲el, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Book

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)

Book

Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions

Book

Büchi’s Monadic Second Order Successor Arithmetic

Book

Computability Theory and Applications The Art of Classical Computability

Book

Computability (Monographs in Theoretical Computer Science. An EATCS Series)

Book

Computations in Higher Types (Lecture Notes in Mathematics, 574)

Book

Informatik

Book

Fundamentals of Digital Machine Computing

Book

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis