"Kurt Gödel and the Foundations of Mathematics: Horizons of Truth " - читать интересную книгу автора (Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott,...)