Некоторые оценки длин логических выводов в классическом исчислении высказываний - Г. С. Цейтин; А. А. Чубарян (ՀՍՍՀ ԳԱ հրատ․)
Keywords: Mathematics; Science