Mathematical logic and computability
Author(s)
Bibliographic Information
Mathematical logic and computability
（International series in pure and applied mathematics）（McGraw-Hill international editions, . Mathematics & statistics series）
McGraw-Hill, 1996
International eds.
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 479
Includes index
Description and Table of Contents
Description
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.
Table of Contents
- Propositional logic
- pure predicate logic
- full predicate logic
- computable functions
- the incompleteness theorems.
by "Nielsen BookData"
