T. Thacher Robinson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1968

2 T. Thacher Robinson: Independence of Two Nice Sets of Axioms for the Propositional Calculus. J. Symb. Log. 33(2): 265-270 (1968)

1965

1 T. Thacher Robinson: Interpretations of Kleene's Metamathematical Predicate T I A in Intuitionistic Arithmetic. J. Symb. Log. 30(2): 140-154 (1965)

	1968
2		T. Thacher Robinson: Independence of Two Nice Sets of Axioms for the Propositional Calculus. J. Symb. Log. 33(2): 265-270 (1968)
	1965
1		T. Thacher Robinson: Interpretations of Kleene's Metamathematical Predicate T I A in Intuitionistic Arithmetic. J. Symb. Log. 30(2): 140-154 (1965)