Lärobok i den formella logiken af J.