For Better Performance Please Use Chrome or Firefox Web Browser

Abounded Translation of Intuitionistic Propositional Logic into Basic Propositional logic, Mathematical Logic Quarterly, 46 ( 2000 ), 199-205.

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