СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГБИБЛИОТЕК БЕЛАРУСИ | История поисков |
| Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
|---|
Справка
| ВЫНУЖДЕНИЯ МЕТОД |
Способ доказательства существования моделей аксиоматических теорий.
СИНОНИМЫ И УСЛОВНЫЕ СИНОНИМЫ
| форсинг-метод |
| ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ ЗМУШЭННЯ МЕТАД |
ИСТОЧНИКИ ИНФОРМАЦИИ
Математическая энциклопедия. [В 5 т.]. Т. 1. — Москва, 1977.
Сайт "Словари и энциклопедии на Академике".
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
| © Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |