Title: Lärobok i den formella logiken