A Gentzen style axiomatization for basic predicate calculus

A Gentzen style axiomatization for basic predicate calculus
-

doi
Article type
Journal
https://people.iut.ac.ir/en/aghaei/content/1637325