Matematika metamatematiki - Rasiowa, Helena, 1917-1994 (Matematičeskaja logika i osnovanija matematiki, 1972)