S. C. Kleene. Disjunction and existence under implication in elementary intuitionistic formalisms. The Journal of symbolic logic, vol. 27 (for 1962, pub. 1963), pp. 11–18.

✍ Scribed by Thacher Robinson, T. (author)

• Book ID: 124963508
• Publisher: Cambridge University Press (CUP)
• Year: 1963
• Tongue: English
• Weight: 348 KB
• Volume: 28
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2271603