General Recursion Theory: An Axiomatic Approach

Main
Mathematics
General Recursion Theory: An Axiomatic...

General Recursion Theory: An Axiomatic Approach

J. E. Fenstad

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:

Năm:

1980

In lần thứ:

1

Nhà xuát bản:

Springer

Ngôn ngữ:

english

Trang:

244

ISBN 10:

3540093494

ISBN 13:

9783540093497

Loạt:

Perspectives in Mathematical Logic

File:

PDF, 17.09 MB

IPFS:

,

english, 1980

Tải vè (pdf, 17.09 MB)

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

Alexander S. Kechris, Yiannis N. Moschovakis (auth.), Alexander S. Kechris, Yiannis N. Moschovakis (eds.) — Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

— Foundations of Mathematics 001

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

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Yiannis N. Moschovakis (Eds.) — Elementary Induction on Abstract Structures

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

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

Edward R. Griffor (ed.) — Handbook of Computability Theory

Yiannis N Moschovakis — Elementary induction on abstract structures

Martin Davis — Computability and unsolvability

F. R. Drake, S. S. Wainer — Recursion Theory, its Generalisations and Applications

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

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

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

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

Jeremy Avigad — Mathematical Logic and Computation

George Tourlakis — Theory of Computation

Peter G. Hinman — Recursion-Theoretic Hierarchies

Gerald E. Sacks — Higher Recursion Theory

Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.) — Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Cori, Rene; Razborov, Alexander; Todorcevic, Stevo; Wood, Carol (eds.) — Logic colloquium 2000 (hardcover): lecture notes in logic, 19

Chatzidakis, Zoe ́Maria; Koepke, Peter; Pohlers, Wolfram (eds.) — Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Wilfried Sieg, Richard Sommer, Carolyn Talcott — Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.) — Logic Colloquium 2000

S. Barry Cooper, Andrea Sorbi — Computability in Context: Computation and Logic in the Real World

Cooper S.B., Sorbi A. (eds.) — Computability in context. Computation and logic in the real world

George Tourlakis — Computability

Chi Tat Chong; Liang Yu — Recursion Theory: Computational Aspects of Definability

Jarkko Kari, Florin Manea, Ion Petre — Computability in Europe, 13 conf., CiE 2017

J. Barwise — Admissible sets and structures: An approach to definability theory

Peter Hinman — Recursion-theoretic hierarchies

A. S. Kechris, Y. N. Moschovakis — Cabal Seminar 76-77

J. E. Fenstad — General recursion theory: An axiomatic approach

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