The mathematics of metamathematics /
Rasiowa, Helena.
Sikorski, Roman.
Warszawa [Państwowe Wydawn. Naukowe]
1970
Metamathematics.