Παραπομπή σε μορφή APA (7η εκδ.)

Hajek, P., & Pudlak, P. (1998). Metamathematics of first - order arithmetic. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Hajek, Petr, και Pavel Pudlak. Metamathematics of First - Order Arithmetic. Berlin: Springer, 1998.

Παραπομπή σε μορφή MLA (9th εκδ.)

Hajek, Petr, και Pavel Pudlak. Metamathematics of First - Order Arithmetic. Springer, 1998.