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

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Jahr:

1985

Auflage:

1

Verlag:

Springer-Verlag Berlin Heidelberg

Sprache:

english

Seiten:

420

ISBN 10:

0387156739

ISBN 13:

9780387156736

Serien:

Lecture Notes in Mathematics 1141

Datei:

PDF, 15.78 MB

IPFS:

,

english, 1985

Dieses Buch ist für das Herunterladen wegen der Beschwerde des Urheberrechtsinhabers nicht verfügbar

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

— Pravin Lal

Es kann für Sie interessant sein

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

Am meisten angefragte Begriffe