ML-1993-21: Max I. Kanovich The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic 1.Full Text. < Back
