Create Tool:uTorrent/2020
Create Time:2010-06-16 21:51:29
File Size:105.86 MB
File Count:23
File Hash:4fa394e0e0a63609b40a1d2814fb18f897245bd2
| Гудстейн Р.Л. - Рекурсивный математический анализ.djvu | 8.47 MB |
| Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu | 7.54 MB |
| Расeва Е., Сикорский Р. - Математика метаматематики.djvu | 6.79 MB |
| Новиков П.С. - Элементы математической логики.djvu | 6.30 MB |
| Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu | 6.01 MB |
| Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu | 5.80 MB |
| Успенский В.А. - Лекции о вычислимых функциях.djvu | 5.44 MB |
| Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели (Математическая логика и основания математики) - 1980.djvu | 5.19 MB |
| Глушков В.М. - Синтез цифровых автоматов (Математическая логика и основания математики) - 1962.djvu | 5.11 MB |
| Шенфилд Дж. - Математическая логика.djvu | 4.99 MB |
| Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu | 4.96 MB |
| Кушнер Б.А. - Лекции по конструктивному математическому анализу (Математическая логика и основания математики) - 1973.djvu | 4.59 MB |
| Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (Математическая логика и основания математики) - 1983.djvu | 4.04 MB |
| Смальян Р. - Теория формальных систем (Математическая логика и основания математики) - 1981.djvu | 3.92 MB |
| Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) (Математическая логика и основания математики) - 1970.djvu | 3.58 MB |
| Ершов Ю.Л. - Теория нумераций.djvu | 3.39 MB |
| Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu | 3.34 MB |
| Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств (Математическая логика и основания математики) -1979.djvu | 3.26 MB |
| Марков А. А., Нагорный М. Н. - Теория алгорифмов (Математическая логика и основания математики) - 1984.djvu | 3.19 MB |
| Робинсон А. - Введение в теорию моделей и математическую логику.djvu | 3.08 MB |
| Шенфилд Дж. - Степени неразрешимости (Математическая логика и основания математики) - 1977.djvu | 2.46 MB |
| Клини С., Весли Р. - Основания интуционистской математики с точки зрения теории рекурсивных функций (Математическая логика и основания математики) - 1978.djvu | 2.30 MB |
| Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu | 2.12 MB |
| http://bt4.rutracker.org/ann?uk=1ghU1wnYb1 |
| http://retracker.local/announce |
| http://ix4.rutracker.net/ann?uk=1ghU1wnYb1 |
TorrentBank
Copyright © 2024