A Gentzen style axiomatization for basic predicate calculus - doi # Date : 1381-10 Article type Journal