Gödel's theorems
Subtitle: a workbook on formalization
By: Verena Huber-Dyson.
Series: Teubner-Texte zur Mathematik,; Bd. 122
Publisher: B.G. Teubner Verlagsgesellschaft
Published: 1991
Place of publication: Stuttgart
Language: eng
Number of pages: 292
Subjects: Gödel's theorem.
Notes: Includes bibliographical references (p. 283-288) and index.
"For Lauren."
Summaries in English, French, German, and Russian.