APA (7th ed.) Citation

Hájek, P., & Pudlák, P. (1998). Metamathematics of first order arithmetic (2. printing.). Springer.

Chicago Style (17th ed.) Citation

Hájek, Petr, and Pavel Pudlák. Metamathematics of First Order Arithmetic. 2. printing. Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a: Springer, 1998.

MLA (9th ed.) Citation

Hájek, Petr, and Pavel Pudlák. Metamathematics of First Order Arithmetic. 2. printing. Springer, 1998.