- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |