Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
15  Ergebnisse:
?
1

Computability theory 

Student mathematical library ; 62
Weber, Rebecca , 2012
Exemplar:  Zentrale:E02 a mat 022/390
 
?
2

Proofs and computations 

Perspectives in logic
Schwichtenberg, Helmut ; Wainer, S. S. , 2012
Link: http://dx.doi.org/10.101..
 
?
3

Computability 

computable functions, logic and the foundations of mathemat... 
Epstein, Richard L. ; Carnielli, Walter A. - 3. ed. . , 2008
Exemplar:  Zentrale:E02 a mat 022 e/690(3)
 
?
4

Rekursive Funktionen 

Springer-Lehrbuch
Lüneburg, Heinz , 2002
Exemplar:  Zentrale:E02 a mat 022 e/096
 
?
5
, In:

Theorie der Numerierungen / J.L. Eršov1:

,
Eršov, J.L. , 1978
Exemplar:  Zentrale:E02 a mat 022/877-3
 
?
6

Mathematik mit Kalkülen und Maschinen 

Logik und Grundlagen der Mathematik ; 20
Cohors-Fresenborg, Elmar - 1. Aufl. . , 1977
Exemplar:  Zentrale:E02 a mat 015/023
 
?
7
, In:

Theorie der Numerierungen / J.L. Eršov2:

,
Eršov, J.L. , 1976
Exemplar:  Zentrale:E02 a mat 022/877-2
 
?
8
, In:

Theorie der Numerierungen / J.L. Eršov1:

,
Eršov, J.L. , 1973
Exemplar:  Zentrale:E02 a mat 022/877-1
 
?
9

Recursiveness:

Eilenberg, Samuel ; Elgot, Calvin C. , 1970
Exemplar:  Zentrale:E02 a mat 022/372
 
?
10

Constructive order types 

Studies in logic and the foundations of mathematics
Crossley, John N. , 1969
Exemplar:  Zentrale:E02 a mat 033/105
 
?
11

Formalized recursive functionals and formalized realizabili.. 

Memoirs of the American Mathematical Society ; 89
Kleene, Stephen Cole , 1969
Exemplar:  Zentrale:E02 a mat 022/709
 
?
12

Theory of recursive functions and effective computability 

McGraw-Hill series in higher mathematics
Rogers, Hartley , 1967
Exemplare:  Zentrale:E02 a mat 022/571a
 
?
13

Konstruktive Analysis 

Mathematische Forschungsberichte ; 11
Klaua, Dieter , 1961
Exemplar:  Zentrale:E02 a mat 022/86
 
?
14

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit 

Einführung in die Theorie der rekursiven Funktionen  Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 109
Hermes, Hans , 1961
Exemplar:  Zentrale:E02 a mat 022/701
 
?
15

Computability & unsolvability 

McGraw-Hill series in information processing and computers
Davis, Martin , 1958
Exemplar:  Zentrale:E02 a mat 022/666
 
1-15