Metamathematics of first-order arithmetic / Petr HÁJEK

Public ISBD Title : Metamathematics of first-order arithmetic Material Type: printed text Authors: Petr HÁJEK ; Pavel Pudlák Publisher: Berlin [etc.] : Springer-Verlag Publication Date: 1993 Series: Perspectives in mathematical logic Pagination: X, 460 str. Size: 24 cm ISBN (or other code): 978-3-540-50632-4 General note: Pergam ID: MF 160 Languages : English (eng) Descriptors: Matematika Class number: 510.2 Contents note: Bibliografija: str. 409-460 Metamathematics of first-order arithmetic [printed text] / Petr HÁJEK ; Pavel Pudlák . - Berlin [etc.] : Springer-Verlag, 1993 . - X, 460 str. ; 24 cm. - (Perspectives in mathematical logic) . ISBN : 978-3-540-50632-4 Pergam ID: MF 160 Languages : English (eng) Descriptors: Matematika Class number: 510.2 Contents note: Bibliografija: str. 409-460

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
27.782	27.782	$r non conforme --	fond	fond	u fondu Available

---

1 (1 - 1 / 1)