Aufzählbarkeit, Entscheidbarkeit, Berechnbarkeit : Einführung in die Theorie der rekursiven FunktionenHans HermesSold outTrack
Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften. Mathematisch-Naturwissenschafliche Classe. XCIX. Band. IV. - VII. HeftVarious authorsSold outTrack
