A Friendly Introduction to Mathematical Logic

Main
Mathematics - Logic
A Friendly Introduction to Mathematical...

A Friendly Introduction to Mathematical Logic

Christopher C. Leary, Lars Kristiansen

5.0 / 5.0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Mathematics - Logic

წელი:

2015

გამოცემა:

2nd

ენა:

english

გვერდები:

380

ISBN 10:

1942341326

ISBN 13:

9781942341321

ფაილი:

PDF, 1.69 MB

IPFS:

,

english, 2015

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Ernest Lepore; Sam Cumming — Meaning and Argument: An Introduction to Logic Through Language

Steve Warner — Pure Mathematics for Beginners - Solution Guide

Hilbert David, Wilhelm Ackermann — The Principles of Mathematical Logic

John Nolt — Schaum’s Outline of Logic

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

F. Martin McNeill, Ellen Thro — Fuzzy Logic: A Practical Approach

Virginia Klenk — Understanding Symbolic Logic (5th Edition)

Wilfrid Hodges — Logic: An Introduction to Elementary Logic

David Bostock — Intermediate Logic

Raymond M. Smullyan — Gödel's Incompleteness Theorems

Iqbal H. Jebril, Hemen Dutta, Ilwoo Cho — Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Derek C Goldrei — Classic Set Theory: For Guided Independent Study

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is Mathematical Logic?

Patrick Suppes — Introduction to Logic

Raymond M. Smullyan — The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs

Charles C Pinter — A Book of Set Theory

Patrick Suppes — Axiomatic Set Theory

Raymond M. Smullyan — First-Order Logic

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

Peter Smith — An Introduction to Formal Logic

Mark Colyvan — An Introduction to the Philosophy of Mathematics

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic

George Tourlakis — Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

Robert L. Causey — Logic, sets, and recursion

Willard Van Orman Quine — Mathematical Logic

S.C. Kleene — Introduction to Metamathematics

Ernest Nagel, James R. Newman, Douglas R. Hofstadter — Goedel's Proof (Revised Edition 2001)

Karel Hrbacek, Thomas Jech — Introduction to Set Theory, Third Edition, Revised and Expanded (Pure and Applied Mathematics)

Robert S. Wolf — A Tour Through Mathematical Logic

Peter Smith — An Introduction to Gödel's Theorems

Daniel Solow — How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

Harry J. Gensler — Introduction to Logic

Peter G. Hinman — Fundamentals of mathematical logic

Dirk van Dalen — Logic and Structure

Melvin Fitting — First-Order Logic and Automated Theorem Proving

Martin Hils, Francois Loeser — A First Journey Through Logic

Alex Malpass, Marianna Antonutti Marfori — The History of Philosophical and Formal Logic: From Aristotle to Tarski

Elliott Mendelson — Introduction to Mathematical Logic, Sixth Edition

David Barker-Plummer, Jon Barwise, John Etchemendy — Language, Proof and Logic

Mendelson, Elliott — Introduction to Mathematical Logic

Derek Goldrei — Propositional and Predicate Calculus : A Model of Argument

Peter Smith — Beginning Mathematical Logic: A Study Guide

საკვანძო ფრაზები

დაკავშირებული კოლექციები