Elements of Mathematical Logic

Main
Mathematics - Logic
Elements of Mathematical Logic

Elements of Mathematical Logic

P.S. NOVIKOV

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

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

Kategorie:

Mathematics - Logic

Rok:

1964

Wydanie:

1

Wydawnictwo:

Oliver & Boyd

Język:

english

Strony:

296

Plik:

DJVU, 2.43 MB

IPFS:

,

english, 1964

Czytaj Online

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

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

Najbardziej popularne frazy