Logicae Artis Compendium.
Sanderson, Roberto.