Sets, Models and Recursion Theory (Logic Colloquium'65)

Main
Mathematics - Logic
Sets, Models and Recursion Theory...

Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley (ed.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Mathematics - Logic

年:

1967

出版社:

North-Holland Publishing Co.

语言:

english

页:

334

系列:

Studies in Logic and the Foundations of Mathematics, Volume 46

文件:

DJVU, 2.14 MB

IPFS:

,

english, 1967

线上阅读

正在转换

转换为失败

您可能会感兴趣

Joseph R. Shoenfield — Mathematical Logic

Joseph Mileti — Modern Mathematical Logic

— Foundations of Mathematics 001

Anton Setzer — Logik MN2

Shoenfield J.R. — Mathematical logic

Cohen, Paul, J;Davis, Martin — Cohen Set Theory and the Continuum Hypothesis

Paul J. Cohen — Set Theory and the Continuum Hypothesis

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

Paul J. Cohen — Set Theory and the Continuum Hypothesis

René Cori, Daniel Lascar, Donald Pelletier — Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

G. H. Muller — Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

F. R. Drake — Set Theory: An Introduction to Large Cardinals

Mostowski A. — Foundational Studies: Selected works

Mostowski A. — Foundational Studies: Selected Works

Fenstad J.E., Gandy R.O., Sacks G.E. (eds.) — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium

G. Lolli, G. Longo, A. Marcja — Logic Colloquium '82: Proceedings Florence, 1982

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

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

Gert H. Müller (Editor) — Sets and Classes: On the Work by Paul Bernays

Jech, T.J; Scott, D. — Axiomatic Set Theory, Volume 1 (Symposium in Pure Mathematics Los Angeles July, 1967)

Jech, T.J; Scott, D. (editors) — Axiomatic Set Theory, Volume 2 (Symposium in Pure Mathematics Los Angeles July, 1967)

Joseph Mileti — Modern Mathematical Logic

Jon Barwise — Admissible Sets and Structures

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Joseph R. Shoenfield — Mathematical Logic

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Kenneth Kunen — The Foundations of Mathematics

Serafim Batzoglou — Introduction to Incompleteness

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

G. H. Müller, A. Oberschelp, K. Potthoff — ISILC logic conference, Kiel, 1974

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

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Jon Barwise — Admissible Sets and Structures: An Approach to Definability Theory

Gerald E. Sacks — Selected Logic Papers

Gerald E. Sacks — Mathematical Logic in the 20th Century

关键词