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-03T14:13:39update
2013-02-01T19:16:32update
2010-08-17T06:21:14update
2010-08-17T06:17:38add