Logica Conimbricenssis Compendium.