Title Statements
- Full title :Introduction to mathematical logic / by Michał Walicki.
Edition Statements
- Publication Date:2016
- Edition:Extended edition
Publication Statements
- Publisher(s):World Scientific
- Place of Publication:New Jersey
- Language:eng
- Publication Date:2016
Notes
Includes index.
The Physical Object
- Description:287 p. : : ill.
Edition Identifiers
- ISBN:9789814719957, 9814719951, 9789814719964, 981471996X
- oclc:on1041581280
- LC Classification:QA9
- Dewey Decimal:511.3
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"?
Read More ↓
Rate & Review