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

Main
Mathematics - Logic
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 / 5.0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

Yu. L. Ershov... et al., associate, Marek V.M. (eds.) Handbook of recursive mathematics (Elsevier, 1998., 1)(ISBN 0444500030)(O)(667s)

الفئات:

Mathematics - Logic

عام:

1998

الناشر:

Elsevier

اللغة:

english

الصفحات:

667

ISBN 10:

0444500030

ISBN 13:

9780444500038

سلسلة الكتب:

Studies in Logic and the Foundations of Mathematics 138

ملف:

PDF, 25.70 MB

IPFS:

,

english, 1998

إقرأ علي الإنترنت

تحميل (pdf, 25.70 MB)

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

Stephen Cole Kleene, Richard Eugène Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

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

Kripke, Saul — Elementary Recursion Theory and its Applications to Formal Systems

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

Andrea Cantini — Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Leon Henkin, J. Donald Monk, Alfred Tarski — Cylindric Algebras, Part II

Harry R. Lewis, Christos H. Papadimitriou — Elements of the Theory of Computation (2nd Edition)

Raymond M. Smullyan — Recursion Theory for Metamathematics

William H. Burge — Recursive Programming Techniques (The Systems programming series)

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Harold J. Kushner, G. George Yin — Stochastic approximation and recursive algorithms and applications

Mark Burgin — Super-Recursive Algorithms

Sorbi, Andrea — Complexity, logic, and recursion theory

David William Barron — Recursive Techniques in Programming (Computer Monograph Series)

C.J. Ash, J. Knight — Computable Structures and the Hyperarithmetical Hierarchy

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

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

Ronald L. Graham, Laszlo Lovasz, Martin Grotschel — Handbook of Combinatorics, Volume I

M. C. Fitting — Fundamentals of Generalized Recursion Theory

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

Zohar Manna — Mathematical Theory of Computation

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

Wilfrid Hodges — A Shorter Model Theory

Robert L. Causey — Logic, sets, and recursion

Anatolii Ivanovic Mal'cev, transl. by Benjamin Franklin Wells, III — The Metamathematics of Algebraic Systems. Collected Papers 1936-1967

Jens E. Fenstad — General Recursion Theory: An Axiomatic Approach

Yiannis N. Moschovakis — Abstract Recursion and Intrinsic Complexity

Manuel Rubio-Sanchez — Introduction to Recursive Programming

Joseph R. Shoenfield — Recursion Theory

Peter G. Hinman — Recursion-Theoretic Hierarchies

Gerald E. Sacks — Higher Recursion Theory

Miklós Bóna (Editor) — Handbook of Enumerative Combinatorics

Manuel Rubio-Sanchez — Introduction to Recursive Programming

George Cantor, Philip E.B. Jourdain — Contributions to the Founding of the Theory of Transfinite Numbers

Alan Davies, Diane Crann — A Handbook of Essential Mathematical Formulae

Naihuan Jing — Algebraic combinatorics and quantum groups

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 1: Recursive Model Theory

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

أكثر المصطلحات والعبارات المستخدمة