Fundamentals of mathematical logic
著者
書誌事項
Fundamentals of mathematical logic
A.K. Peters, c2005
大学図書館所蔵 件 / 全10件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and indexes
内容説明・目次
内容説明
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Goedel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
目次
Introduction, 1 Propositional Logic and Other Fundamentals, 2 First-Order Logic, 3 Completeness and Compactness, 4 Incompleteness and Undecidability, 5 Topics in Definability, 6 Set Theory, 7 Model Theory, 8 Recursion Theory. References.
「Nielsen BookData」 より