A course in mathematical logic
Author(s)
Bibliographic Information
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
Available at / 55 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:510/b4132020960793
-
No Libraries matched.
- Remove all filters.
Note
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
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"