Поиск :
Личный кабинет :
Электронный каталог: Тезаурус - Рубрика: исчисление предикатов
Рубрика: исчисление предикатов
Показаны записи 1 из 1
Вышестоящие рубрики | Заглавие рубрики | См. также | Подрубрики | Документы | |
---|---|---|---|---|---|
в рубрике | с учетом подрубрик | ||||
математика => математическая логика => исчисление предикатов |
теорема Гёделя | 22.12 | 3 |