Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
9.6.2.7. Логическое программирование
Начало см.
здесь
.
9.6.2.7.1. Логическое программирование (cб. статей под ред. В. Н. Агафонова, 1988 г.)
