Leon Henkin, 1921-2006

I just heard that Leon Henkin passed away earlier this week. He was a terrific logician and a terrific teacher. He will be missed.