A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
-
doi
Date : 1378-12
Article type
Journal
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
×
https://people.iut.ac.ir/en/aghaei/content/1638453?view=qrcode