Logic and structure
Author(s)
Bibliographic Information
Logic and structure
（Universitext）
Springer, c2004
4th ed
- : pbk
Available at 44 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: pbkDAL||3||3(4)78891360
Note
Includes bibliographical references (p. [257]-258) and index
Description and Table of Contents
Description
New corrected printing of a well-established text on logic at the introductory level.
Table of Contents
Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Goedel's Theorem.- Bibliography.- Index.
by "Nielsen BookData"