• Класифікатори
• числення, исчисление, calculus

числення логіки, исчисление логики

Документи:

• Конверський, Анатолій Євгенович
  Сучасна логіка [Текст] : підручник : в 2 ч. Ч. 1 : Класична логіка / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — Київ : Київ. ун-т, 2016. — 190 с. — ISBN 978-966-439-890-9-Ч.1.