Introduction to mathematical logic
By: Michal Walicki
Publisher: World Scientific; World Scientific Publishing Company
Published: 2012
Place of publication: Singapore; Hackensack, NJ
Language: eng
Number of pages: 268
ISBN-13: 9789814343862; 9789814343879
Subjects: Symbolic and mathematical Logic
Notes: Includes index.
Table of contents: title: A history of logic; title: Patterns of reasoning; title: A language and its meaning; title: A symbolic language; title: 1850-1950 mathematical logic; title: Modern symbolic logic; title: Elements of set theory; title: Sets, functions, relations; title: Induction; title: Turning machines; title: Computability and decidability; title: Propositional logic; title: Syntax and proof systems; title: Semantics of PL; title: Soundness and completeness; title: First order logic; title: Syntax and proof systems of FOL; title: Semantics of FOL; title: More semantics; title: Soundness and completeness; title: Why is first order logic "First Order"?