Enumerability, decidability, computability: an introduction to the theory of recursive functions

Saved in:

Bibliographic Details
Main Author:	Hermes, Hans (Author)
Format:	Book
Language:	English
Published:	Berlín Springer-Verlag 1969
Subjects:	TEORIA DE LA RECURSION FUNCIONES RECURSIVAS ENUMERABILIDAD DETERMINABILIDAD COMPUTABILIDAD MAQUINAS DE TURING Algoritmos
Tags:	Add Tag No Tags, Be the first to tag this record!

Biblioteca de Matemática -

Holdings details from Biblioteca de Matemática -
Call Number:	511.35 HER 1969
Copy 1300180	Available Place a Hold