You are accessing PhilPapers from Open University (UK), an institution that is not subscribed to PhilPapers. Starting on July 1, 2014, we ask institutions that grant philosophy degrees and are based in high-GDP countries to contribute to PhilPapers' maintenance and development through a subscription. See this page for details. Please show your support by contacting your librarian.

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