Introduction to mathematical logic
By: Michał Walicki, University of Bergen, Norway
Edition: Extended edition.
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2017
Language: eng
Number of pages: 287
ISBN-13: 9789814719957; 9789814719964
Subjects: Symbolic and mathematical Logic
Notes: Includes indexes.
Table of contents: title: A history of logic; 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: Turing machines; title: Computability and decidability; title: Propositional logic; title: Syntax and proof systems; title: Semantics of pl; title: Soundness and completeness; title: Diagnosing paradoxes; 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"?