Matematika metamatematiki. - Rasiowa, Helena; Sikorski, Roman (Moskva : Nauka - Moskva, 1972)
Prijevod djela: THE MATHEMATICS OF METAMATHEMATICS