|
29-02-2008 |
|
Piotr Wilkin is a Ph.D. student at the Institute of Informatics, Warsaw University.
E-mail: pwl [at] mimuw.edu.pl
Master's thesis: Automating theorem proving in the Coq system, December 2007, Faculty of Mathematics, Informatics and Mechanics, Warsaw University
Main areas of interest: formal logic, recursion theory, proof theory, philosophy of language, cognitive sciences
Appearances:
- The relation of comprehension - between mind and reality, Philosophers' Rally, 2007
|
|
Last Updated ( 29-02-2008 )
|
CPR Members 
