Reviews matching “Metamathematics of first-order arithmetic”

1 result

BookAuthorReviewerJournalDate
Metamathematics of first-order arithmetic Petr Hájek and Pavel Pudlák Richard Kaye The Journal of Symbolic Logic 1995

Open this search with filters