Математика Тридцать лет спустя Автор: Гейтинг Аренд Год: 1965 полная версия Статья опубликована в сборнике «Математическая логика и ее применения», Издательство «МИР», Москва, 1965. Перевод А.В. Гладкого. Оригинал,... Admin 11 Июл 19
Математика Интуиционизм. Введение Автор: Гейтинг Аренд Год: 1965 полная версия Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства,... Admin 26 Апр 17