Enumerability, decidability, computability : An introduction to the theory of recursive functions. /

Bibliographic Details
Main Author:	Hermes, Hans
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, New York : Springer, 1969.
Edition:	2d rev. ed.
Series:	Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127.
Subjects:	Recursive functions. Algorithms. Gödel's theorem. Computable functions. Fonctions récursives. Algorithmes. Gödel, Théorème de. Fonctions calculables. Funcoes (matematica) Computabilidade e modelos de computacao. Logica matematica. Algorithmentheorie. Algorithmus. Einführung. Rekursive Funktion. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online