Handbook of Recursive Mathematics. Volume 2: Recursive...

Main
Mathematics
Handbook of Recursive Mathematics....

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Ershov Y.L.

5.0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Kateqoriyalar:

İl:

1998

Nəşriyyat:

Elsevier

Dil:

english

Səhifələr:

785

Seriyalar:

Studies in Logic and the Foundations of Mathematics 139

Fayl:

PDF, 33.65 MB

IPFS:

,

english, 1998

Yüklə (pdf, 33.65 MB)

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

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

Herbert B. Enderton — Computability Theory: An Introduction to Recursion Theory

Simpson, Stephen George (ed.) — Reverse mathematics 2001

Per Martin-Löf — Notes on constructive mathematics

Per Martin-Löf — Notes on Constructive Mathematics

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

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

Joseph G. Rosenstein — Linear orderings

Enderton H. — Computability theory: An introduction to recursion theory

Joseph G. Rosenstein (Eds.) — Linear Orderings

Higman G., Scott E. — Existentially closed groups

Eršov, Jurij Leonidovič; Gončarov, Sergej S — Constructive Models

Sorbi, Andrea — Complexity, logic, and recursion theory

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

Crossley J.N., Dummett M.A.E. (eds.) — Formal Systems and Recursive Functions (Logic Colloquium'63)

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

C.T. Chong, M.J. Wicks — Southeast Asian Conference on Logic: Proceedings Singapore, 1981

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

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

Anatolii Ivanovic Mal'cev, transl. by Benjamin Franklin Wells, III — The metamathematics of algebraic systems: Collected papers 1936-1967

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

Cholak P.A., et al. (eds.) — Computability Theory and Its Applications: Current Trends and Open Problems

Andrea Sorbi — Complexity, logic, and recursion theory

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

Yuri L. Ershov, Sergey Goncharov — Constructive Models

Peter G. Hinman — Fundamentals of Mathematical Logic

Kees Doets — Basic Model Theory

Doets K. — Basic model theory

Açar ifadələr