Tractatus, called afterwards, Summule logicales