For Better Performance Please Use Chrome or Firefox Web Browser

A Gentzen Style Axiomatization for Basic Predicate Calculus, Logic Colloquium 2000, Paris, France, Summer 2000,

Year: 
2000
Month/Season: 
August
Type: 
Conference Papers