Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
Obor OECD: Pure mathematics
DOI: https://doi.org/10.1017/9781316717271
http://hdl.handle.net/11104/0293053