Metamathematics of first order arithmetic:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hájek, Petr 1940- (VerfasserIn), Pudlák, Pavel (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. Springer 1998
Ausgabe:2. printing
Schriftenreihe:Perspectives in mathematical logic
Schlagworte:
Beschreibung:Literaturverz. S. 409 - 453
Beschreibung:XIV, 460 S.
ISBN:354063648X

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!