Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Détails bibliographiques
Auteur principal : Hermes Hans (Auteur)
Format : Livre
Langue : allemand
Titre complet : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen / von Hans Hermes,...
Publié : Berlin, Göttingen, Heidelberg : Springer , cop. 1961
Description matérielle : 1 vol. (IX-246 p.)
Collection : Grundlehren der mathematischen Wissenschaften ; 109
Sujets :
Documents associés : Reproduit comme: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Description
Bibliographie : Notes bibliogr. Index
ISBN : 0-387-08869-5
3-540-08869-5