Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/9642. Показаны документы 1 - 1 из 1.
1. Гильберт Д., Бернайс П. - Основания математики. Теория доказательств. ::
Электронная библиотека Попечительского совета . ... Гильберт Д., Бернайс П. - Основания математики. Теория доказательств. ... Название: Основания математики. ... Авторы: Гильберт Д., Бернайс П. Аннотация: . В настоящей книге дается детальное изложение современного состояния теории доказательств. ... Рубрика: Математика / Алгебра / Математическая логика / . ... Бернайс 9-12 14 16 418 439 . ... Нить доказательства 473 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/1382 -- 115.3 Кб -- 09.04.2016
Похожие документы
Похожие документы
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда