TY  - BOOK
AU  - Walicki,Michał
TI  - Introduction to mathematical logic
SN  - 9789814343862 (hbk.)
AV  - QA9.W334 2012 
U1  - 511.3 23
PY  - 2012///
CY  - Singapore, Hackensack, NJ
PB  - World Scientific
KW  - Logic, Symbolic and mathematical
N1  - Includes index; A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and completeness -- Why is first order logic "First Order"?
ER  -