1.
, . Metamathematics of first-order arithmetic. Berlin, Paris [etc.]: Springer-Verlag; 1993.
et . Metamathematics of first-order arithmetic. Berlin, Paris [etc.] : Springer-Verlag, 18 avril 1993. ISBN 3-540-50632-2
Hájek Petr & Pudlák Pavel. (1993). Metamathematics of first-order arithmetic. Springer-Verlag.
Style de citation MLA (8e éd.)Hájek Petr et Pudlák Pavel. Metamathematics of First-order Arithmetic. Springer-Verlag, 1993.
Attention : ces citations peuvent ne pas être correctes à 100%.