Title: Proof, Computation and Agency
Subjects: Philosophy (General), Logic, Symbolic and mathematical Logic, Computer science, Modern Philosophy, Social interaction, Philosophy, Data processing