"After Gödel: Platonism and Rationalism in Mathematics and Logic " - читать интересную книгу автора (Richard Tieszen)