Constructive Order Types

Main
Mathematics - Logic
Constructive Order Types

Constructive Order Types

John N. Crossley

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?

Thể loại:

Mathematics - Logic

Nhà xuát bản:

Elsevier, Academic Press

Ngôn ngữ:

english

Trang:

216

ISBN 10:

0720422515

ISBN 13:

9780720422511

Loạt:

Studies in Logic and the Foundations of Mathematics

File:

PDF, 6.35 MB

IPFS:

,

english0

Đọ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

George Spencer-Brown — Laws of Form

Simpson, Stephen George (ed.) — Reverse mathematics 2001

Dekker, Jacob C. E. and Myhill, John R. — Recursive Equivalence Types

— Foundations of Mathematics 001

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

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

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

Joseph G. Rosenstein — Linear orderings

Joseph G. Rosenstein (Eds.) — Linear Orderings

R. Mansfield, G. Weitkamp — Recursive aspects of descriptive set theory

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Sorbi, Andrea — Complexity, logic, and recursion theory

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

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

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

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

George Metakides — Patras logic symposion: Proceedings Patras, 1980

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

P. T. Johnstone — Notes on Logic and Set Theory

S. B. Cooper, T. A. Slaman, S. S. Wainer — Computability, Enumerability, Unsolvability: Directions in Recursion Theory

Yehosha Bar-Hillel — Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

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

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

Peter G. Hinman — Recursion-Theoretic Hierarchies

Jon Barwise — Admissible Sets and Structures

Gerald E. Sacks — Higher Recursion Theory

Peter G. Hinman — Fundamentals of Mathematical Logic

Peter Hinman — Recursion-theoretic hierarchies

M. Lerman, J.H. Schmerl, R.I. Soare — Logic. Year 1979-80

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks — Recursion Theory Week. Proceedings conference Oberwolfach, 1984

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