Metamathematics of first order arithmetic - Hájek, Petr 1940-; Pudlák, Pavel (Springer, 1998)
Literaturverz. S. 409 - 453
Keywords: Arithmétique - Fondements; Logica; Logik; Arithmetic -- Foundations; Arithmetik; Metamathematik; Peano-Arithmetik