The mathematics of metamathematics. - Rasiowa, Helena. (Państwowe Wydawn. Naukowe,, 1963)