| |
| 1953 | ||
|---|---|---|
| 2 | Ruth Barcan Marcus: Strict Implication, Deducibility and the Deduction Theorem. J. Symb. Log. 18(3): 234-236 (1953) | |
| 1950 | ||
| 1 | Ruth Barcan Marcus: The Elimination of Contextually Defined Predicates in a Modal System. J. Symb. Log. 15(2): 92 (1950) | |