𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Introduction to mathematical logic

✍ Scribed by Walicki, MichaΕ‚

Publisher
World Scientific
Year
2017
Tongue
English
Leaves
302
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

A history of logic --
A language and its meaning --
A symbolic language --
1850-1950 : mathematical logic --
Modern symbolic logic --
Elements of set theory --
Sets, functions, relations --
Induction --
Turing machines --
Computability and decidability --
Propositional logic --
Syntax and proof systems --
Semantics of pl --
Soundness and completeness --
Diagnosing paradoxes --
First order logic --
Syntax and proof systems of fol --
Semantics of fol --
More semantics --
Soundness and completeness --
Why is first order logic "first order"?

✦ Subjects

Logic, Symbolic and mathematical;ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ Π»ΠΎΠ³ΠΈΠΊΠ°;Π›ΠΎΠ³ΠΈΠΊΠ°;ΠœΠ΅Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°

πŸ“œ 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
✍ 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
✍ Mendelson, Elliott πŸ“‚ Library πŸ“… 2011 πŸ› Chapman and Hall/CRC 🌐 English

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