О некоторых оценках длин логических выводов в классическом исчислении высказываний - Г. С. Цейтин; А. А. Чубарян (АН Арм. ССР)
Keywords: Математика