Logic Column

The Logic Column is run by

Riccardo Pucella
Cornell University
Email: riccardo@cs.cornell.com

Created for SIGACT News by Ian Parberry, September 25, 1994.
Last updated Thu Feb 5 15:27:43 CST 2004