Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Elements of Mathematical Logic

Main
Mathematics - Logic
Elements of Mathematical Logic

Elements of Mathematical Logic

P.S. NOVIKOV

0 / 0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

xi 296p maroon hardback with plum dustjacket, this copy from a Cambridge college library with light library markings, text clean and fresh, binding tight, appears hardly used, two pages of index slightly rough at edge, a nice copy

Catégories:

Mathematics - Logic

Année:

1964

Edition:

1

Editeur::

Oliver & Boyd

Langue:

english

Pages:

296

Fichier:

DJVU, 2.43 MB

IPFS:

,

english, 1964

Lire en ligne

La conversion en est effectuée

La conversion en a échoué

Cela peut vous intéresser

James D. Carney — Introduction to Symbolic Logic

Alan Ross Anderson, Nuel D. Belnap, J. Michael Dunn — Entailment: The Logic of Relevance and Necessity, Vol. 2

Hilbert D., Ackermann W. — Principles of mathematical logic

Lukasiewicz, Jan — Selected Works

S.C. Kleene — Introduction to Metamathematics

unknown — Handbook of Philosophical Logic

Alonzo Church — Introduction to Mathematical Logic

Hirst H.P., Hirst J.L. — A primer for logic and proof

Hirst H.P., Hirst J.L. — A Primer for Logic and Proof

David Hilbert, Wilhelm Ackermann — Principles of Mathematical Logic

Albert C. Leisenring — Mathematical Logic and Hilbert’s Epsilon-Symbol

Kneebone, G. T. — Mathematical Logic and The Foundations of Mathematics

D & W ACKERMANN HILBERT — PRINCIPLES OF MATHEMATICAL LOGIC. CHELSEA PUBL. 1950.

Jan Lukasiewicz (L. Borkowski editor) — Selected Works

Jan Łukasiewicz — Selected Works

— Introduction to Mathematical Logic Alonzo Church

Bibel W. — Deduction: Automated Logic

Mordechai Ben-Ari — Mathematical logic for computer science

David Bostock — Intermediate logic

David Bostock — Intermediate logic

Simon Thompson — Type Theory and Functional Programming

G T Kneebone — Mathematical logic and the foundations of mathematics

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

Stephen Cole Kleene — Mathematical Logic

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

Ramsay A.M. — Formal Methods in Artificial Intelligence

Alonzo Church — Introduction to Mathematical Logic, Volume 1

Alan Ross Anderson, Nuel D. Belnap, J. Michael Dunn — Entailment, Vol. 2: The Logic of Relevance and Necessity

Church, Alonzo — Introduction to Mathematical Logic

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

R. E. Davis — Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)

Jan Lukasiewicz; L. Borkowski, O. Wojtasiewicz (ed.) — Jan Lukasiewicz. Selected works

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Wilhelm Ackermann, David Hilbert, Robert E. Luce — Principles of mathematical logic

Mots Clefs