The mathematics of metamathematics - Rasiowa, Helena; Sikorski, Roman (Monografie matematyczne, 1963)