COLUMBIA PHILOSOPHY COLLOQUIUM
Is Computation Formal?
Michael Rescorla (University of California, Santa Barbara)
4:10 PM – 6:00 PM, Thursday, October 31, 2013
Philosophy Hall 716, Columbia University
Reception to follow
Logic at Columbia University
Formal Philosophy 