Gödel's theorems : a workbook on formalization / Verena Huber-Dyson
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Teubner-Texte zur Mathematik ; 122Publisher: Stuttgart ; Leipzig : Teubner, 1991Description: 292 S. : graph. Darst. ; 21 cmISBN:- 3815420237
- 511.3
- QA9.65
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 3779 | Available | 46097738090 | |
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Hub | Available | 09036115380 |
Total holds: 0