Δωρεές 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

5.0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Έτος:

1998

Εκδότης:

Elsevier

Γλώσσα:

english

Σελίδες:

649

Σειρές:

Studies in Logic and the Foundations of Mathematics 138

Αρχείο:

PDF, 27.45 MB

IPFS:

,

english, 1998

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

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

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

— 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

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

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

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

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

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

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

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

S. Barry Cooper — Computability Theory

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

S. Barry Cooper — Computability theory

Marat M. Arslanov (editor); Steffen Lempp (editor) — Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

Φράσεις κλειδιά