For Better Performance Please Use Chrome or Firefox Web Browser

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quarterly, 46(2000),199-205

Year: 
2000
Month/Season: 
February
Type: 
Journal Papers

تحت نظارت وف ایرانی