Mind, Logic & Computation CMSI 399 - Fall 2014