Introduction to mathematical logic

✍ Scribed by Mendelson, Elliott

Publisher: Chapman and Hall/CRC
Year: 2011
Tongue: English
Leaves: 496
Series: Discrete mathematics and its applications
Edition: Fifth edition
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of God̈el, Church, Kleene, Rosser, and Turing.

Abstract: Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of God̈el, Church, Kleene, Rosser, and Turing

✦ Table of Contents

Content: Chapter 1 The Propositional Calculus --
chapter 2 First-Order Logic and Model Theory --
chapter 3 Formal Number Theory --
chapter 4 Axiomatic Set Theory --
chapter 5 Computability.

✦ Subjects

Logic, Symbolic and mathematical.;Mathematische Logik.

📜 SIMILAR VOLUMES

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Elliott Mendelson 📂 Library 📅 1979 🏛 Book World Promotions 🌐 English

Late in August, the text originally selected for my mathematical logic class became unavailable. On the basis of reviews only, I chose Mendelson's Introduction to Mathematical Logic as the replacement. A disasterous choice. There may be a page without a typo, but I don't expect to find it. The prese

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Alonzo Church 📂 Library 📅 1956 🏛 Princeton University Press 🌐 English

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Dr. Hans Hermes (auth.) 📂 Library 📅 1973 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic be

Introduction To Mathematical Logic

📁 Introduction To Mathematical Logic

✍ Michal Walicki 📂 Library 📅 2011 🏛 World Scientific 🌐 English

<span>This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers pro

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Alonzo Church 📂 Library 📅 1956 🏛 Princeton University Press 🌐 English

Introduction to mathematical logic

📁 Introduction to mathematical logic

✍ Walicki, Michał 📂 Library 📅 2017 🏛 World Scientific 🌐 English