Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Fwd: Peter Andrews
18 views
Skip to first unread message
Joao Marcos
Apr 29, 2025, 7:49:59 PMApr 29
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
---------- Forwarded message ---------
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
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
Reply all
Reply to author
Forward
0 new messages