Mathematical Logic
著者
書誌事項
Mathematical Logic
(Cambridge studies in advanced mathematics, 82 . Lectures in logic and set theory / George Tourlakis ; v. 1)
Cambridge University Press, 2010, c2003
- : pbk.
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
"First paperback edition 2010" -- t.p.verso
内容説明・目次
内容説明
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
目次
- Preface
- 1. Basic logic
- 2. The second incompleteness theorem
- Bibliography
- List of symbols
- Index.
「Nielsen BookData」 より