PhilPapers is currently in read-only mode while we are performing some maintenance. You can use the site normally except that you cannot sign in. This shouldn't last long.

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