Gödel's theorems : a workbook on formalization / Verena Huber-Dyson
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Teubner-Texte zur Mathematik ; 122Verlag: Stuttgart ; Leipzig : Teubner, 1991Beschreibung: 292 S. : graph. Darst. ; 21 cmISBN:- 3815420237
- 511.3
- QA9.65
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 3779 | Verfügbar | 46097738090 | |
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Hub | Verfügbar | 09036115380 |
Anzahl Vormerkungen: 0