Lärobok i den formella logiken , anm. af — ut- —.