E-LIB Suche - Ergebnisse für: mat 022

1

Proofs and computations

Perspectives in logic

Schwichtenberg, Helmut ; Wainer, S. S. , 2012

Link: http://dx.doi.org/10.101..

2

Computability theory

Student mathematical library ; 62

Weber, Rebecca , 2012

Copies: Zentrale:E02 a mat 022/390

3

Computability

computable functions, logic and the foundations of mathemat...

Epstein, Richard L. ; Carnielli, Walter A. - 3. ed. . , 2008

Copies: Zentrale:E02 a mat 022 e/690(3)

4

Rekursive Funktionen

Springer-Lehrbuch

Lüneburg, Heinz , 2002

Copies: Zentrale:E02 a mat 022 e/096

5

, In:

Theorie der Numerierungen / J.L. Eršov1:

,

Eršov, J.L. , 1978

Copies: Zentrale:E02 a mat 022/877-3

6

Mathematik mit Kalkülen und Maschinen

Logik und Grundlagen der Mathematik ; 20

Cohors-Fresenborg, Elmar - 1. Aufl. . , 1977

Copies: Zentrale:E02 a mat 015/023

7

, In:

Theorie der Numerierungen / J.L. Eršov2:

,

Eršov, J.L. , 1976

Copies: Zentrale:E02 a mat 022/877-2

8

, In:

Theorie der Numerierungen / J.L. Eršov1:

,

Eršov, J.L. , 1973

Copies: Zentrale:E02 a mat 022/877-1

9

Recursiveness:

Eilenberg, Samuel ; Elgot, Calvin C. , 1970

Copies: Zentrale:E02 a mat 022/372

10

Constructive order types

Studies in logic and the foundations of mathematics

Crossley, John N. , 1969

Copies: Zentrale:E02 a mat 033/105

11

Formalized recursive functionals and formalized realizabili..

Memoirs of the American Mathematical Society ; 89

Kleene, Stephen Cole , 1969

Copies: Zentrale:E02 a mat 022/709

12

Theory of recursive functions and effective computability

McGraw-Hill series in higher mathematics

Rogers, Hartley , 1967

Copies: Zentrale:E02 a mat 022/571a

13

Konstruktive Analysis

Mathematische Forschungsberichte ; 11

Klaua, Dieter , 1961

Copies: Zentrale:E02 a mat 022/86

14

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 109

Hermes, Hans , 1961

Copies: Zentrale:E02 a mat 022/701

15

Computability & unsolvability

McGraw-Hill series in information processing and computers

Davis, Martin , 1958

Copies: Zentrale:E02 a mat 022/666