Return to Article Details On the Numbers of Minimal Tautologies and Properties of Their Proofs in Classical and Nonclassical Logic Download Download PDF