Sistema di logica come teoria del conoscere : volume primo