Logic and structure
著者
書誌事項
Logic and structure
（Universitext）
Springer, c2004
4th ed
- : pbk
大学図書館所蔵 件 / 全44件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [257]-258) and index
内容説明・目次
内容説明
New corrected printing of a well-established text on logic at the introductory level.
目次
Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Goedel's Theorem.- Bibliography.- Index.
「Nielsen BookData」 より