For Better Performance Please Use Chrome or Firefox Web Browser

A Gentzen Style Axiomatization for Basic Predicate Calculus, Archive for Mathematical Logic, 42, 245-259 ( 2003 )

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

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