A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

Date : 1378-12-15
doi
Article type
Journal
https://people.iut.ac.ir/en/aghaei/content/104606