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

Main
Mathematics
Handbook of Recursive Mathematics....

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

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

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Hardbound.

Thể loại:

Năm:

1998

In lần thứ:

1

Nhà xuát bản:

Elsevier

Ngôn ngữ:

english

Trang:

798

ISBN 10:

0444501061

ISBN 13:

9780444501066

Loạt:

Studies in Logic and the Foundations of Mathematics 139

File:

DJVU, 4.57 MB

IPFS:

,

english, 1998

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Claude Levi-Strauss — Rasse und Geschichte

George Horton — The Blight of Asia;: An account of the systematic extermination of Christian populations by Mohammedans with a true story of the burning of Smyrna.

David C. Arnott, David Wilson — European Journal of Marketing - Trust: current thinking and future research

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

Norman L. Alling (Eds.) — Real Elliptic Curves

Laura Cooner Lambdin, Robert Thomas Lambdin — Arthurian Writers: A Biographical Encyclopedia

Diana Palmer — Night Fever (Mira Hardbacks)

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

Donald E. Kieso, Jerry J. Weygandt, Terry D. Warfield — Intermediate Accounting, 13 Edition

Linda Challis, Susan Fuller, Melanie Henwood, Rudolf Klein, William Plowden, Adrian Webb, Peter Whittingham, Gerald Wistow — Joint Approaches to Social Policy: Rationality and Practice

Lisa Tucker McElroy — Sonia Sotomayor: First Hispanic U.S. Supreme Court Justice (Gateway Biographies)

Steven R. Lindsay — Handbook of Applied Dog Behavior and Training, Volume 2: Etiology and Assessment of Behavior Problems

Tiffany K. Wayne — Critical Companion to Ralph Waldo Emerson

Kirpal Singh — Spirituality: What It is

Tom Frame — No Pleasure Cruise: The Story of the Royal Australian Navy

Jean-Jacques Rousseau — İlimler ve Sanatlar Hakkında Nutuk

Erich von Däniken — Tanrıların Arabaları

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

Ershov Y.L. — 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

Từ khóa thường sử dụng nhất