Ruth Barcan Marcus

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)