A Gentzen style axiomatization for basic predicate calculus

Date : 1381-10-15
doi
Article type
Journal
https://people.iut.ac.ir/en/aghaei/content/104609