1.
, . Metamathematics of first-order arithmetic. Berlin, Paris [etc.]: Springer-Verlag; 1993.
et . Metamathematics of first-order arithmetic. Berlin, Paris [etc.] : Springer-Verlag, 1 mai 1993. ISBN 3-540-50632-2
Hájek Petr & Pudlák Pavel. (1993). Metamathematics of first-order arithmetic. Springer-Verlag.
MLA (8th ed.) CitationHájek Petr and Pudlák Pavel. Metamathematics of First-order Arithmetic. Springer-Verlag, 1993.
Warning: These citations may not always be 100% accurate.