Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

Recursion Theory Week: Proceedings of a Conference held in...

Main
Mathematics
Recursion Theory Week: Proceedings of a...

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Έτος:

1985

Έκδοση:

1

Εκδότης:

Springer-Verlag Berlin Heidelberg

Γλώσσα:

english

Σελίδες:

420

ISBN 10:

3540395962

ISBN 13:

9783540395966

Σειρές:

Lecture Notes in Mathematics 1141

Αρχείο:

PDF, 4.81 MB

IPFS:

,

english, 1985

Αυτό το βιβλίο δεν είναι διαθέσιμο για λήψη λόγω καταγγελίας του κατόχου των πνευματικών δικαιωμάτων

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Ίσως σας ενδιαφέρει

Sacks, Gerald E. — Degrees of unsolvability.

Sacks, Gerald E. — Degrees of unsolvability.

Ershov Y.L. — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

René Cori, Daniel Lascar, Donald Pelletier — Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Zarach, A.; Marek, W.; Srebrny, M et al. (eds.) — Set theory and hierarchy theory: A memorial tribute to A. Mostowski

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

John N. Crossley — Constructive Order Types

Fenstad J.E., Gandy R.O., Sacks G.E. (eds.) — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium

George Metakides — Patras logic symposion: Proceedings Patras, 1980

Edward R. Griffor (ed.) — Handbook of Computability Theory

F. R. Drake, S. S. Wainer — Recursion Theory, its Generalisations and Applications

S. B. Cooper, T. A. Slaman, S. S. Wainer — Computability, Enumerability, Unsolvability: Directions in Recursion Theory

John N. Crossley — Constructive Order Types

Yehosha Bar-Hillel — Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Nerode A., Shore R. (eds.) — Recursion Theory

Jon Barwise — Admissible Sets and Structures

Gerald E. Sacks — Higher Recursion Theory

Gerald E. Sacks — Degrees of Unsolvability. (AM-55), Volume 55

S. Barry Cooper, Sergey S. Goncharov (auth.) — Computability and Models: Perspectives East and West

Peter G. Hinman — Fundamentals of mathematical logic

Chi Tat Chong; Liang Yu — Recursion Theory: Computational Aspects of Definability

W. Marek, M. Srebrny, A. Zarach — Set theory and hierarchy theory: a memorial tribute to A.Mostowski

U. Felgner, T. B. Flannagan (auth.), Gert H. Müller, Dana S. Scott (eds.) — Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977

M. Lerman, J.H. Schmerl, R.I. Soare — Logic. Year 1979-80

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks — Recursion Theory Week. Proceedings conference Oberwolfach, 1984

Gerald E. Sacks — Higher Recursion Theory

Кончин, Евграф Васильевич — Музей-азбука прекрасного короткие рассказы из истории музеев Москвы : [для детей]

Gerald E. Sacks — Selected Logic Papers

Gerald E. Sacks — Mathematical Logic in the 20th Century

Φράσεις κλειδιά