1 option
A tour through mathematical logic / Robert S. Wolf.
- Format:
- Book
- Author/Creator:
- Wolf, Robert S., author.
- Series:
- Carus Mathematical Monographs, 2637-7535 ; v. 30
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Algebra, Abstract.
- Physical Description:
- 1 online resource (xv, 397 pages)
- Place of Publication:
- Washington, DC : Mathematical Association of America, c2005.
- System Details:
- Mode of access : World Wide Web
- Contents:
- Chapter 1. Predicate Logic Chapter 2. Axiomatic Set Theory Chapter 3. Recursion Theory and Computability Chapter 4. Gödel's Incompleteness Theorems Chapter 5. Model Theory Chapter 6. Contemporary Set Theory Chapter 7. Nonstandard Analysis Chapter 8. Constructive Mathematics
- Notes:
- Includes bibliographical references (pages 375-379) and index.
- Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
- Description based on print version record.
- ISBN:
- 9781614440284 (online)
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.