Stav dette: Lucubrationes in Logicam