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.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.