The mathematics of metamathematics - Rasiowa, Helena; Sikorski, Roman (Warszawa : Państwowe Wydawnictwo Naukowe, 1963)