Revision history for entry Church, Alonzo (1973). "Russellian Simple Type Theory" [CHURST]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes