PUDLÁK, Pavel - HÁJEK, Petr. Metamathematics of first-order arithmetic. Berlin ; Heidelberg ; New York : Springer, 1998. Perspectives in mathematical logic. ISSN 01726641.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.