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