Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Gödel's theorems : a workbook on formalization
- Author / Creator
- Available as
- Physical
Details
Checking for availability...
- Creator
- Verena Huber-Dyson
- Format
- Books
- Language
- English
- Publication
-
- Stuttgart : B.G. Teubner Verlagsgesellschaft, 1991
- Physical Details
-
- 292 pages : illustrations ; 21 cm
- ISBNs
- 9783815420232, 3815420237
- OCLC
- ocm24537257
- "For Lauren."
- Summaries in English, French, German, and Russian.
- Includes bibliographical references (pages 283-288) and index.