Lärobok i den formellaLogiken