Lärobok i den formella Logiken , afJohan