| |
| 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) | |