ENGLISH

Introduction to mathematical logic

By Michal , Walicki

Book information

Publisher
World Scientific
Year
2017
ISBN
9789814719957, 9814719951, 9789814719964, 981471996X
Language
english
Format
PDF
Filesize
7 MB (7280993 bytes)
Pages
287\302
Topic
Mathematics Logic
Time added
2018-09-21 18:46:29
LogicSymbolic and mathematical;Математическая логика;Ло

Description

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"?

Similar books