Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

S. C. Kleene
The Journal of Symbolic Logic
Vol. 28, No. 2 (Jun., 1963), pp. 154-156
DOI: 10.2307/2271596
Stable URL: http://www.jstor.org/stable/2271596
Page Count: 3
  • Read Online (Free)
  • Download ($10.00)
  • Cite this Item
Item Type
Article
Thumbnails
If you need an accessible version of this item please contact JSTOR User Support
An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms
Preview not available

Page Thumbnails

  • Thumbnail: Page 
154
    154
  • Thumbnail: Page 
155
    155
  • Thumbnail: Page 
156
    156