For Better Performance Please Use Chrome or Firefox Web Browser
A Bounded Translation from Intuitionistic Propositional Calculus into Basic Propositional Calculus, Logic Groups Seminars, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Fall 1998,