Revision history for entry Andrews, Peter (1963). "A reduction of the axioms for the theory of propositional types" [ANDARO-3]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-09-03T09:13:39update
2013-02-01T14:16:32update
2010-08-17T01:21:14update
2010-08-17T01:17:38add