Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Handbook of Recursive Mathematics. Volume 1: Recursive...

Main
Mathematics
Handbook of Recursive Mathematics....

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Hardbound.

Категорії:

Рік:

1998

Видавництво:

Elsevier

Мова:

english

Сторінки:

664

ISBN 10:

0444500030

ISBN 13:

9780444500038

Серії:

Studies in Logic and the Foundations of Mathematics 138

Файл:

DJVU, 3.63 MB

IPFS:

,

english, 1998

Читати Онлайн

Виконується конвертація в

Конвертація в не вдалась

Можливо вас зацікавить

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

Per Martin-Löf — Notes on constructive mathematics

Weispfenning. — Efficient decision procedures for locally finite theories II

— 1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '98

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

Ershov Y.L. — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

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

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

Gabbay D.M. et al. (eds.) — Mathematical problems from applied logic I / 2, Logics for the XXIst century

Sorbi, Andrea — Complexity, logic, and recursion 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

D.van Dalen, etc. — Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic

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

G. Lolli, G. Longo, A. Marcja — Logic Colloquium '82: Proceedings Florence, 1982

J. Donald Monk, Robert Bonnet — Handbook Of Boolean Algebras

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. Barry Cooper, John K. Truss — Models and computability: Invited papers from Logic Colloquium ’97

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

Hajnal Andreka, Steven R. Givant, Istvan Nemeti — Decision Problems for Equational Theories of Relation Algebras

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

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

H. Draskovicova, T. S. Fofanova, V. I. Igoshin, T. Katrinak — Ordered Sets and Lattices II

Andrea Sorbi — Complexity, logic, and recursion theory

Juris Hartmanis — Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Rod Downey — Turing's Legacy: Developments from Turing's Ideas in Logic

Stoltenberg-Hansen, Viggo.; Väänänen, Jouko (eds.) — Logic colloquium '03: lecture notes in logic 24

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) — New Computational Paradigms: Changing Conceptions of What is Computable

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

Viggo Stoltenberg-Hansen, Jouko Väänänen (eds.) — Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

Enayat A., et al. (eds.) — Logic in Tehran: proceedings 2003

Ключові фрази