Tekstiviesti: Additiones ad Logicam Conimbricensem;