Der Operationskreis des Logikkalkuls