For Better Performance Please Use Chrome or Firefox Web Browser

Dr.Mojtaba Aghaei

Assistant Professor of Mathematical Sciences Dept.

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

Year:

2000

Month/Season:

August

Type:

Conference Papers