Degrees of Unsolvability. (AM-55), Volume 55

Main
Degrees of Unsolvability. (AM-55),...

Degrees of Unsolvability. (AM-55), Volume 55

Gerald E. Sacks

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.

ปี:

2016

สำนักพิมพ์:

Princeton University Press

ภาษา:

english

จำนวนหน้า:

192

ISBN 10:

1400881846

ISBN 13:

9781400881840

ซีรีส์:

Annals of Mathematics Studies; 55

ไฟล์:

PDF, 11.39 MB

IPFS:

,

english, 2016

อ่านออนไลน์

ดาวน์โหลด (pdf, 11.39 MB)

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr (eds.) — Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

Sacks, Gerald E. — Degrees of unsolvability.

Sacks, Gerald E. — Degrees of unsolvability.

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

Enderton H.B. — A mathematical introduction to logic

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

Kaye R. — Models of Peano arithmetic

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

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

Martin Davis — Computability and unsolvability

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

Kaye R. — Models of Peano Arithmetic

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

Andrea Sorbi — Complexity, logic, and recursion theory

Manuel Lerman — Degrees of Unsolvability: Local and Global Theory

Gerald E. Sacks — Higher Recursion Theory

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

Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel (eds.) — Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Peter G. Hinman — Fundamentals of Mathematical Logic

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

M. Lerman — Degrees of unsolvability: Local and global theory

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

Gerald E. Sacks — Higher Recursion Theory

Klaus Weihrauch — Computability

Manuel Lerman — Degrees of Unsolvability: Local and Global Theory

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

Gerald E. Sacks — Selected Logic Papers

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

คำที่ถูกค้นหาบ่อยที่สุด