Fundraising September 15, 2024 – October 1, 2024 About fundraising

Elements of Mathematical Logic

Main
Mathematics - Logic
Elements of Mathematical Logic

Elements of Mathematical Logic

P.S. NOVIKOV

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

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

Categories:

Mathematics - Logic

Year:

1964

Edition:

1

Publisher:

Oliver & Boyd

Language:

english

Pages:

296

File:

DJVU, 2.43 MB

IPFS:

,

english, 1964

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

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

Most frequently terms