[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------] Seeking volunteer typesetters to convert into LaTeX files the writings of Alonzo Church for the forthcoming edition of his Collected Works. Cordially, - Mikhail | God: "Sum id quod sum." Descartes: "Cogito ergo sum." Zeleny@math.ucla.edu | Popeye: "Sum id quod sum et id totum est quod sum." UCLA Philosophy * ptyx * 6869 Pacific View Drive, LA, CA 90068 * 213-876-8234