Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

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

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

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

Kategorie:

Mathematics - Logic

Rok:

1998

Wydawnictwo:

Elsevier

Język:

english

Strony:

667

ISBN 10:

0444500030

ISBN 13:

9780444500038

Serie:

Studies in Logic and the Foundations of Mathematics 138

Plik:

PDF, 25.70 MB

IPFS:

,

english, 1998

Czytaj Online

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

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

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

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

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

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

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

Najbardziej popularne frazy

Powiązane listy książek