---------- Forwarded message ---------- From: Kenneth Derus <khderus at sbcglobal.net> Date: Sun, Mar 1, 2015 at 4:21 AM Subject: Kreisel To: davism at cs.nyu.edu Georg Kreisel died in Salzburg at 2:30a local time. -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20150301/734b7925/attachment.html>