Силлогистика как интенсиональная логическая теория: формальная реконструкция идей Г.Лейбница и Н.А.Васильевастатья