Recursion Theory Week. Proceedings conference Oberwolfach,...

Main
Mathematics
Recursion Theory Week. Proceedings...

Recursion Theory Week. Proceedings conference Oberwolfach, 1984

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Tahun:

1985

Edisi:

1

Penerbit:

Springer

Bahasa:

english

Halaman:

426

ISBN 10:

3540156739

ISBN 13:

9783540156734

Nama seri:

Lecture Notes in Mathematics

File:

DJVU, 2.85 MB

IPFS:

,

english, 1985

Mengunduh (djvu, 2.85 MB)

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Piergiorgio ODIFREDDI — CLASSICAL RECURSION THEORY The Theory of Functions and Sets of Natural Numbers

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

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

Sorbi, Andrea — Complexity, logic, and recursion theory

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

Piergiorgio Odifreddi — Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

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

S. Barry Cooper, John K. Truss — Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

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

S. Barry Cooper, John K. Truss — Models and computability: Invited papers from Logic Colloquium ’97

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

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

Gerald E. Sacks — Higher Recursion Theory

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

Gerald E. Sacks — Selected Logic Papers

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

Istilah kunci