جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

Elements of Mathematical Logic

Main
Mathematics - Logic
Elements of Mathematical Logic

Elements of Mathematical Logic

P.S. NOVIKOV

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

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

الفئات:

Mathematics - Logic

عام:

1964

الإصدار:

1

الناشر:

Oliver & Boyd

اللغة:

english

الصفحات:

296

ملف:

DJVU, 2.43 MB

IPFS:

,

english, 1964

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

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

أكثر المصطلحات والعبارات المستخدمة