Custom cover image
Custom cover image

Metamathematics of first order arithmetic / Petr Hájek; Pavel Pudlák

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Perspectives in mathematical logicPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1993Description: XIV, 460 SISBN:
  • 3540506322
  • 0387506322
Subject(s): MSC: MSC: *03F30 | 03D15 | 03-02RVK: RVK: SK 130LOC classification:
  • QA248
Call number: Grundsignatur: 93 A 606PPN: PPN: 277062845
Holdings
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
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha