Lärobok i den formella logiken af Th.