Lärobok i den formella Logiken af Th.