Description |
xii, 268 p. : ill. ; 24 cm. |
Note |
Includes index. |
Contents |
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"? |
Subject |
Logic, Symbolic and mathematical.
|
ISBN |
9789814343879 (pbk.) |
|
9789814343862 (hbk.) |
|
9814343862 (hbk.) |
|
9814343870 (pbk.) |
|