Symposium on Proofs, programs, procedures: formal and epistemic issues

Special Session at the Congress on Logic and Philosophy of Science, UGent, 16-18 September 2013 on:
Proofs, programs, procedures: formal and epistemic issues (organised by Giuseppe Primiero)

http://www.clps13.ugent.be/