Front cover image for Metamathematics of first-order arithmetic

Metamathematics of first-order arithmetic

Petr Hájek (Author), Pavel Pudlák (Author)

Print Book, English, 2017
Cambridge University Press, Cambridge, 2017