Leram - Sistemi di logica come teoria del conoscere (rist. anast.): 1