■ « A functional calculus of first order based on strict implication », in Journal of Symbolic Logic, vol. 11, no 1 mars 1946 ; « The identity of individuals in a strict functional calculus of first order », in Journal of Symbolic Logic, vol. 12, no 1, mars 1947.
