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

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

年:

1981

出版社:

Elsevier

言語:

english

ページ:

430

ISBN 10:

0444853456

ISBN 13:

9780444853455

シリーズ:

Studies in Logic and the Foundations of Mathematics, Volume 101

ファイル:

DJVU, 2.82 MB

IPFS:

,

english, 1981

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

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

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

主要なフレーズ