A course in mathematical logic
著者
書誌事項
A course in mathematical logic
North-Holland Pub. Co. , Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977
1st ed
大学図書館所蔵 件 / 全55件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [576]-583
Includes indexes
No edition statement on some printings
Some copies have discription on T.p. verso: Published by:North-Holland publishing Company, Amsterdam・New York・Oxford. Sole distributors for the U.S.A. and Canada:Elsevier North-Holland, Inc
内容説明・目次
内容説明
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
目次
1. Beginning Mathematical Logic. 2. First-Order Logic. 3. First-Order Logic (continued). 4. Boolean Algebras. 5. Model Theory. 6. Recursion Theory. 7. Logic - Limitative Results. 8. Recursion Theory (continued). 9. Intuitionistic First-Order Logic. 10. Axiomatic Set Theory. 11. Nonstandard Analysis. Bibliography.
「Nielsen BookData」 より