?
3
Computability
computable functions, logic and the foundations of mathemat...
Copies:
Zentrale:E02 a mat 022 e/690(3)
?
6
Mathematik mit Kalkülen und Maschinen
Logik und Grundlagen der Mathematik ; 20
Copies:
Zentrale:E02 a mat 015/023
?
10
Constructive order types
Studies in logic and the foundations of mathematics
Copies:
Zentrale:E02 a mat 033/105
?
11
Formalized recursive functionals and formalized realizabili..
Memoirs of the American Mathematical Society ; 89
Copies:
Zentrale:E02 a mat 022/709
?
12
Theory of recursive functions and effective computability
McGraw-Hill series in higher mathematics
Copies:
Zentrale:E02 a mat 022/571a
?
13
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
?
15
Computability & unsolvability
McGraw-Hill series in information processing and computers
Copies:
Zentrale:E02 a mat 022/666