Formal Systems and Recursive Functions

Main
Mathematics - Logic
Formal Systems and Recursive Functions

Formal Systems and Recursive Functions

J N Crossley, M A E Dummett

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Mathematics - Logic

Jahr:

1965

Verlag:

Elsevier, Academic Press

Sprache:

english

Seiten:

321

Serien:

Studies in Logic and the Foundations of Mathematics

Datei:

PDF, 10.45 MB

IPFS:

,

english, 1965

Herunterladen (pdf, 10.45 MB)

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

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

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

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

W. D. HART — The Evolution of Logic

Forster T. — Logic, induction and sets

Bawise J. (ed.) — The Syntax and Semantics of Infinitary Languages

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

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

Micha l. Walicki — Introduction to Logic

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

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

Gaisi Takeuti — Proof Theory

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

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

John N. Crossley — Constructive Order Types

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

Gaisi Takeuti — Proof theory

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

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

Gaisi Takeuti — Proof Theory

W. D. Hart — The Evolution of Logic (The Evolution of Modern Philosophy)

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

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

Moshe Machover — Set theory, logic, and their limitations

Moshe Machover — Set Theory, Logic and their Limitations

Thomas Forster — Logic, Induction and Sets

Hart W.D. — The evolution of logic

John N. Crossley — Constructive Order Types

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

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo; Martin Davis (Foreword) — Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Gerhard Jäger, Wilfried Sieg — Feferman on Foundations

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

Am meisten angefragte Begriffe