Pudlák, Pavel, 1952-
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. -- Berlin ; Heidelberg ; New York : Springer, 1998. -- xiv, 460 s. -- (Perspectives in mathematical logic). -- Obsahuje literaturu a rejstřík. -- ISSN : 01726641.
Hájek, Petr, 1940-2016
aritmetika. matematická logika. matematika
510. 510.6