Login / Signup

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

Stephen Cole Kleene
Published in: J. Symb. Log. (1963)
Keyphrases