Lärobok i den formellalogiken