Artis Logicae Compendium.
ESTC