Metamathematics of first-order arithmetic

Petr Hájek, Pavel Pudlák
Springer-Verlag
9780387506326
0-387-50632-2