Mathematische Annalen

, Volume 132, Issue 4, pp 347–361

On disjunctions and existential statements in intuitionistic systems of logic

  • R. Harrop
Article

DOI: 10.1007/BF01360048

Cite this article as:
Harrop, R. Math. Ann. (1956) 132: 347. doi:10.1007/BF01360048

Copyright information

© Springer-Verlag 1956

Authors and Affiliations

  • R. Harrop
    • 1
  1. 1.Newcastle upon TyneEngland