The Kleene Symposium: Proceedings Madison, 1978

Main
Mathematics
The Kleene Symposium: Proceedings...

The Kleene Symposium: Proceedings Madison, 1978

Jon Barwise, H. Jerome Keisler, Kenneth Kunen

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:

1981

Nhà xuát bản:

Elsevier

Ngôn ngữ:

english

Trang:

430

ISBN 10:

0444853456

ISBN 13:

9780444853455

Loạt:

Studies in Logic and the Foundations of Mathematics, Volume 101

File:

DJVU, 2.82 MB

IPFS:

,

english, 1981

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

Yehoshua Bar-Hillel — Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

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

L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson — Harvey Friedman's research on the foundations of mathematics

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Mathias A.R.D., Rogers H. — Cambridge Summer School In Mathematical Logic

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

Bristol, Eng., 1973. Logic Colloquium — Logic Colloquium '73

Crossley J.N., Dummett M.A.E. (eds.) — Formal Systems and Recursive Functions (Logic Colloquium'63)

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

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 of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Samuel R. Buss (Editor) — Handbook of Proof Theory

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

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

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

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

Rose H.E., Shepherdson J.C. (ed.) — Logic Colloquium '73: Proceedings Bristol, 1973

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

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

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

Jeremy Avigad — Mathematical Logic and Computation

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

George Tourlakis — Computability

Gerhard Jäger, Wilfried Sieg — Feferman on Foundations

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

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

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.) — Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Gerald E. Sacks — Higher Recursion Theory

Кончин, Евграф Васильевич — Музей-азбука прекрасного короткие рассказы из истории музеев Москвы : [для детей]

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