|
|
Результат поиска |
Поиск книг, содержащих: Плиско, В.Е.
Книга | Страницы для поиска | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 281, 308, 316, 320 | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 73, 246 | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 167, 171, 261 | Блехман И.И., Мышкис А.Д., Пановко Я.Г. — Механика и прикладная математика. Логика и особенности приложений математики | 135, 334 |
|
|