A Gentzen style axiomatization for basic predicate calculus

A Gentzen style axiomatization for basic predicate calculus
-

doi
Article type
Journal