Metamathematics of first-order arithmetic

Name: Metamathematics of first-order arithmetic
Author: Petr Hájek and Pavel Pudlák

by Petr Hájek and Pavel Pudlák · 1 review · 1995

Reviewed by	Journal	Date	Access
Richard Kaye	The Journal of Symbolic Logic	1995	Restricted

Also by Pudlák