"Kurt Goedel and the foundations of mathematics. Horizons of truth" - читать интересную книгу автора (Baaz M., et al. (eds.))