• Класифікатори
• теорія, теория, theory

теорія обчислень, теория вычислений

Документи:

• Брукшир, Дж. Гленн
  Введение в компьютерные науки [Текст] : Пер. с англ. / Д. Г. Брукшир ; Под ред. В.Н. Штонды. — 6-е изд. — М. : Вильямс, 2001. — 688 с. — ISBN 5-8459-0179-0.
• Хоггер, Кристофер Джон
  Введение в логическое программирование [Текст] : Пер. с англ. / К. Хоггер ; Ред. Ю.И. Янова. — М. : Мир, 1988. — 368 с. — ISBN 5-03-000490-4.