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