Summa Logicae: Theory of Terms Pt. 1