APA-Zitierstil (7. Ausg.)

Hájek, P., & Pudlák, P. (1993). Metamathematics of first-order arithmetic. Springer.

Chicago-Zitierstil (17. Ausg.)

Hájek, Petr, und Pavel Pudlák. Metamathematics of First-order Arithmetic. Berlin u.a: Springer, 1993.

MLA-Zitierstil (9. Ausg.)

Hájek, Petr, und Pavel Pudlák. Metamathematics of First-order Arithmetic. Springer, 1993.