American Psychological Association 6th edition

Hájek, P., & Pudlák, P. [ca. 1993]. Metamathematics of first order arithmetic. In Perspectives in mathematical logic [Book]. Berlin [u.a.]: Springer.

ISO-690 (author-date, English)

HÁJEK, Petr und PUDLÁK, Pavel, 1993. Metamathematics of first order arithmetic. Berlin [u.a.]: Springer. ISBN 3540506322.

Modern Language Association 9th edition

Hájek, P., und P. Pudlák. „Metamathematics of first order arithmetic“. Perspectives in mathematical logic, book, Springer, 1993.

Mohr Siebeck - Recht (Deutsch - Österreich)

Hájek, Petr/Pudlák, Pavel: Metamathematics of first order arithmetic, Berlin [u.a.] 1993.

Emerald - Harvard

Hájek, P. und Pudlák, P. (1993), Metamathematics of first order arithmetic, Perspectives in mathematical logic, Bd. , Springer, Berlin [u.a.].

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.