A Gentzen style axiomatization for basic predicate calculus
-
doi
Date : 1381-10
Article type
Journal
A Gentzen style axiomatization for basic predicate calculus
×
https://people.iut.ac.ir/en/aghaei/content/1637325?view=qrcode