Dear all, This is to inform you that Peter Andrews (November 1, 1937 - April 21, 2025), an early leader in the theory and applications of higher-order logic and the 2003 recipient of the Herbrand Award, passed away last week at the age of 87. Best regards, Dale Miller -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php