Artis Logicae Compendium (1750) by Henry Aldrich