Works by Tax, Robert E. (exact spelling)

Order:
  1.  21
    On the intuitionistic equivalential calculus.Robert E. Tax - 1973 - Notre Dame Journal of Formal Logic 14 (4):448-456.