Chapter I: Arithmetic as Number Theory, Set Theory and Logic
Petr Hájek, Pavel Pudlák
Source: Petr Hájek, Pavel Pudlák, Metamathematics of First-Order Arithmetic, 2nd printing (Berlin:
Springer-Verlag, 1998) , 27-109.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pl/1235421930
