METAMATHEMATICS OF FIRST-ORDER AIRTHMETIC - Hajek,Petr; Pudlak,Pavel (Springer-Verlag, Berlin, 1993)
Keywords: Metamathematics; Airthmetic