Skip to main content
en
A Gentzen style axiomatization for basic predicate calculus
A Gentzen style axiomatization for basic predicate calculus
-
doi
#
2003-01
Article type
Journal
تحت نظارت وف ایرانی