"Mathematical logic and the foundations of mathematics" - читать интересную книгу автора (G T Kneebone)