The mathematics of metamathematics - Rasiowa, Helena, 1917-1994 (Państwowe Wydawnictwo Naukowe, 1963)