?
3
Mathematik mit Kalkülen und Maschinen
Logik und Grundlagen der Mathematik ; 20
Copies:
Zentrale:E02 a mat 015/023
?
6
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Einführung in die Theorie der rekursiven Funktionen
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 109
Copies:
Zentrale:E02 a mat 022/701