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

The Theory of Semisets / Petr VOPENKA

Public ISBD Title : The Theory of Semisets Material Type: printed text Authors: Petr VOPENKA ; Petr HÁJEK Publisher: Amsterdam : North-Holland publishing company Publication Date: 1972 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 5608 Languages : English (eng) Descriptors: Matematika The Theory of Semisets [printed text] / Petr VOPENKA ; Petr HÁJEK . - Amsterdam : North-Holland publishing company, 1972. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 5608 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

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

The Theory of Semisets / Petr VOPENKA

Public ISBD Title : The Theory of Semisets Material Type: printed text Authors: Petr VOPENKA ; Petr HÁJEK Publisher: Amsterdam, London : North-Holland Publishing Company Publication Date: 1972 Series: Studies in Logic and the Fundamentals of Mathematics No. vol. 70 General note: Pergam ID: MF 5303 Languages : English (eng) Descriptors: Matematika The Theory of Semisets [printed text] / Petr VOPENKA ; Petr HÁJEK . - Amsterdam, London : North-Holland Publishing Company, 1972. - (Studies in Logic and the Fundamentals of Mathematics; vol. 70) . Pergam ID: MF 5303 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

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

---

1 (1 - 3 / 3)