Mechanizing hypothesis formation : Mathematical foundations for a general theory / P. Hájek; T. Havránek
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: UniversitextPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1978Description: XV, 396 S : graph. DarstISBN:- 0387087389
- 3540087389
- 001.535 UKD
- QA76.9.A955
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 78 A 1878 | Available | 51629926090 | |
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Haj | Available | 09036124176 | |
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Haj | Available | 09036124212 | |
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Haj | Available | 09036124256 |
Total holds: 0