Hájek, Petr: Metamathematics of first order arithmetic
/ Petr Hájek ; Pavel Pudlák. - 2. printing - Berlin : Springer, 1998. - XIV, 460 S.; 24 cm - (Perspectives in mathematical logic)
ISBN 978-3-540-63648-9 / 3-540-63648-X kart. : DM 78.00
Literaturverz. S. 409 - 453
Quelle: DNB
Hájek, Petr: Metamathematics of first order arithmetic
/ Petr Hájek ; Pavel Pudlák. - Berlin : Springer, 1993. - XIV, 460 S.; 24 cm - (Perspectives in mathematical logic)
ISBN 978-3-540-50632-4 / 3-540-50632-2 Pp. : DM 168.00
Literaturverz. S. 410 - 453
Quelle: DNB