Mathematical Logic
Author(s)
Bibliographic Information
Mathematical Logic
(Cambridge studies in advanced mathematics, 82 . Lectures in logic and set theory / George Tourlakis ; v. 1)
Cambridge University Press, 2003
- : hardback
Available at / 49 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: hardbackS||CSAM||8202075081
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC21:511.3/T6452070577681
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 319-320) and index
Description and Table of Contents
Description
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.
Table of Contents
- Preface
- 1. Basic logic
- 2. The second incompleteness theorem
- Bibliography
- List of symbols
- Index.
by "Nielsen BookData"