Introduction to mathematical logic
Michał Walicki
Bok · Engelsk · 2017
| Omfang | XIII, 287 sider
|
|---|---|
| Utgave | Extended edition
|
| Opplysninger | 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"?
|
| Emner | |
| Dewey | |
| ISBN | 9789814719957. - 9789814719964
|