Laszlo Kalmar On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1939, v:4, n:1, pp:1-9 [Journal]
E. V. Huntington Note on a Recent Set of Postulates for the Calculus of Propositions. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1939, v:4, n:1, pp:10-14 [Journal]