Mathematical Logic: A Course with Exercises Part II:...

Main
Mathematics - Logic
Mathematical Logic: A Course with...

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

René Cori, Daniel Lascar, Donald Pelletier

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Mathematics - Logic

Год:

2001

Издание:

1

Издательство:

Oxford University Press

Язык:

english

Страницы:

352

ISBN 10:

0198500513

ISBN 13:

9780198500513

Файл:

DJVU, 5.41 MB

IPFS:

,

english, 2001

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Rene Cori, Daniel Lascar — Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

René Cori, Daniel Lascar — Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

George Boolos, John P. Burgess, Richard Jeffrey — Logic, logic, and logic

Sacks, Gerald E. — Degrees of unsolvability.

Sacks, Gerald E. — Degrees of unsolvability.

Joseph R. Shoenfield — Mathematical Logic

Joseph Mileti — Modern Mathematical Logic

Anton Setzer — Logik MN2

Shoenfield J.R. — Mathematical logic

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

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

Enderton H.B. — A mathematical introduction to logic

Raymond M. Smullyan, Melvin Fitting — Set Theory and the Continuum Problem

I A Lavrov; L L Maksimova; Giovanna Corsi — Problems in set theory, mathematical logic and the theory of algorithms

Yu. I. Manin — A Course in Mathematical Logic

E. Mendelson — Introduction to mathematical logic

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

Roland Fraisse — Theory of Relations

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

George Metakides — Patras logic symposion: Proceedings Patras, 1980

Roland Fraisse — Theory of relations

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

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

Elliott Mendelson — Introduction to Mathematical Logic

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)

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

Joseph Mileti — Modern Mathematical Logic

Gerald E. Sacks — Degrees of Unsolvability. (AM-55), Volume 55

Bruno Poziat — A Course in Model Theory

Joseph R. Shoenfield — Mathematical Logic

Peter G. Hinman — Fundamentals of Mathematical Logic

Serafim Batzoglou — Introduction to Incompleteness

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

Gerald E. Sacks — Higher Recursion Theory

Ключевые слова