Gödel's theorems : a workbook on formalization : for Lauren

Author(s)

• Huber-Dyson, Verena

Bibliographic Information

Gödel's theorems : a workbook on formalization : for Lauren

Verena Huber-Dyson

（Teubner-Texte zur Mathematik, Bd. 122）

B.G. Teubner, 1991

Note

Includes bibliographies

Summaries in English, French, German and Russian

Details

• NCID: BA1310955X
• ISBN:
  • 3815420237
• LCCN: 91218842
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stuttgart ; Leipzig
• Pages/Volumes: 292 p.
• Size: 21 cm
• Classification:
  • LCC : QA9.65
• Subject Headings:
  • LCSH : Gödel's theorem
• Parent Bibliography ID:
  • BA00367610