Introduction to mathematical logic /
Walicki, Michał.
Introduction to mathematical logic / Michal Walicki. - Singapore ; Hackensack, NJ : World Scientific, 2012. - xii, 268 p. : ill. ; 24 cm.
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"?
9789814343862 (hbk.) 9814343862 (hbk.) 9789814343879 (pbk.) 9814343870 (pbk.)
2012405527
GBB1E0448 bnb
015987303 Uk
Logic, Symbolic and mathematical.
QA9.W334 2012
511.3
Introduction to mathematical logic / Michal Walicki. - Singapore ; Hackensack, NJ : World Scientific, 2012. - xii, 268 p. : ill. ; 24 cm.
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"?
9789814343862 (hbk.) 9814343862 (hbk.) 9789814343879 (pbk.) 9814343870 (pbk.)
2012405527
GBB1E0448 bnb
015987303 Uk
Logic, Symbolic and mathematical.
QA9.W334 2012
511.3