Hajek, P., & Pudlak, P. (1993). Metamathematics of first-order arithmetic. Berlin: Springer.
Παραπομπή Chicago StyleHajek, Petr, and Pavel Pudlak. Metamathematics of First-order Arithmetic. Berlin: Springer, 1993.
Παραπομπή MLAHajek, Petr, and Pavel Pudlak. Metamathematics of First-order Arithmetic. Berlin: Springer, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.