Mathematical logic and computability
著者
書誌事項
Mathematical logic and computability
(International series in pure and applied mathematics)(McGraw-Hill international editions, . Mathematics & statistics series)
McGraw-Hill, 1996
International eds.
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 479
Includes index
内容説明・目次
内容説明
Intended for a one-semester advanced undergraduate course in mathematical logic, this text requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring examples, is also available.
目次
- Propositional logic
- pure predicate logic
- full predicate logic
- computable functions
- the incompleteness theorems.
「Nielsen BookData」 より