Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Арифметика с точки зрения логического программирования
\
9.6.4.4.1. Термы, атомы,
программы и запросы
Начало см.
здесь
.
Агафонов В. Н., Борщев В. Б., Воронков А. А.
Логическое программирование в узком смысле.
В книге:
"Логическое программирование"
(сборник статей).
Пер. с англ., М.: Мир, 1988, сс. 302 303.
Раздел, посвященный
логическому программированию
, см. также
здесь
.
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Арифметика с точки зрения логического программирования
\