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

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Tahun:

1985

Edisi:

1

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

420

ISBN 10:

0387156739

ISBN 13:

9780387156736

Nama siri:

Lecture Notes in Mathematics 1141

Fail:

PDF, 15.78 MB

IPFS:

,

english, 1985

Muat turun buku ini tidak tersedia lagi kerana aduan pemegang hak cipta

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

— Pravin Lal

Mungkin anda berminat

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

Istilah utama