Metamathematics of first-order arithmetic - Hájek, Petr 1940-; Pudlák, Pavel (Springer, 1993)
Literaturverz. S. 410 - 453