Mathematical logic

Main
Mathematical logic

Mathematical logic

Ershov Yu.L., Palyutin E.A.

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

İl:

1984

Nəşriyyat:

Mir

Dil:

english

Səhifələr:

303

Fayl:

DJVU, 2.39 MB

IPFS:

,

english, 1984

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Unknown — ProofTheory-BW.pdf

The Open Logic Project (anonymous collaboration) — Open Logic Text

Yu. L. Ershov, E. A. Palyutin ; translated from the Russian by Vladimir Shokurov. — Mathematical logic

Ershov Yu. L., Palyutin E. A. — Mathematical logic

S.C. Kleene — Introduction to Metamathematics

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Joseph R. Shoenfield — Mathematical Logic

Shoenfield J.R. — Mathematical logic

Toshiyasu Arai — Ordinal Analysis

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

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

S. M. Srivastava — A Course on Mathematical Logic

Gaisi Takeuti — Proof Theory

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

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

Gaisi Takeuti — Proof theory

Mints, Grigorii E — Selected papers in proof theory

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

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

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

Gaisi Takeuti — Proof Theory

S. W. P. Steen — Mathematical Logic with Special Reference to the Natural Numbers

S. W. P. Steen — Mathematical logic with special reference to natural numbers

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

Jeremy Avigad — Mathematical Logic and Computation

Joseph R. Shoenfield — Mathematical Logic

G.H. Müller, G. Takeuti, T. Tugue — Logic Symposia, Hakone, 1979, 1980

Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue — Mathematical logic and applications. Proc.meeting, Kyoto, 1987

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) — Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.) — Theories of types and proofs

Açar ifadələr