| |
| 1947 | ||
|---|---|---|
| 3 | Ruth C. Barcan: The Identity of Individuals in a Strict Functional Calculus of Second Order. J. Symb. Log. 12(1): 12-15 (1947) | |
| 1946 | ||
| 2 | Ruth C. Barcan: A Functional Calculus of First Order Based on Strict Implication. J. Symb. Log. 11(1): 1-16 (1946) | |
| 1 | Ruth C. Barcan: The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. J. Symb. Log. 11(4): 115-118 (1946) | |