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