Logic List Mailing Archive

Peter Andrews

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