2 ms·Alonzo Church Award for Outstanding Contributions to Logic and Computation4 points by ehudla 10y ago