A Gentzen style axiomatization for basic predicate calculus
×
https://people.iut.ac.ir/en/aghaei/content/1637325?view=qrcode