Metamathematics of first order arithmetic / Petr Hájek; Pavel Pudlák
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Perspectives in mathematical logicPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1993Description: XIV, 460 SISBN:- 3540506322
- 0387506322
- QA248
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 93 A 606 | Available | 45655199090 |
Total holds: 0