Пропуск в контексте
Toggle navigation
Eдиный поиск по ресурсам
Оставить отзыв
Профиль
Выход
Логин
Язык
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
НЭБ УР
Интернет-проекты
Все поля
Заглавие
Автор
Предмет
ISBN/ISSN
Ключевые слова
Fulltext
Найти
Расширенный поиск
Исследования по теории доказат...
Комментарии
Цитировать
Отправить на Email
Добавить в Избранное
Заказать по ЭДД
Исследования по теории доказательств Г. Крайзель
Сохранить в:
Библиографические подробности
Автор:
Крайзель Г.
Тип документа:
Книга
Язык:
Russian
English
Год издания:
Москва Мир 1981
Рубрика:
Доказательство
Ключевые слова:
Теоремы Доказательство
Математическая логика
Фонды
Описание
Комментарии
Схожие документы
Marc-запись
Ваш комментарий будет первым!
Ваш комментарий
Сначала войдите в систему
Схожие документы
Прямая и обратная теоремы
Автор: Градштейн И. С.
Год издания: (1950)
Прямая и обратная теоремы
Автор: Градштейн И. С.
Год издания: (1972)
Основания математики
Автор: Гильберт Д.
Год издания: (1982)
Алгоритмы вывода теорем метода векторных функций Ляпунова
Год издания: (1981)
Исследования по теории алгорифмов и математический логике
Год издания: (1979)
×
Загрузка...