The mathematics of metamathematics - Rasiowa, Helena; Sikorski, Roman (Polish Scientific Publishers, 1968)