Two basic pure-implicational systems.

Public

Published in Notre Dame Journal of Formal Logic • Jul 1, 1979

Authors:

J. Jay Zeman

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!