Hájek, P., & Pudlák, P. (2016). Metamathematics of first-order arithmetic. Cambridge University Press. https://doi.org/10.1017/9781316717271
Chicago-Zitierstil (17. Ausg.)Hájek, Petr, und Pavel Pudlák. Metamathematics of First-order Arithmetic. Cambridge: Cambridge University Press, 2016. https://doi.org/10.1017/9781316717271.
MLA-Zitierstil (9. Ausg.)Hájek, Petr, und Pavel Pudlák. Metamathematics of First-order Arithmetic. Cambridge University Press, 2016. https://doi.org/10.1017/9781316717271.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.