Lectures, Notes & Summaries
Michael Detlefsen's Inaugural Lecture (Nancy, Jan. 30th, 2008)
Michael Detlefsen, Ideals of Proof: Lecture notes [pdf]
Proof and Inference: IP Inaugural Symposium (Paris, Feb. 8th, 2008)
Michael Detlefsen, Varieties of Completeness: Lecture notes [pdf]
Dag Prawitz, Validity of Inference: Summary [pdf]
ENS Lectures: In Search of Formalism (Paris, Oct, 2008)
Lecture notes 3 [pdf]Lecture notes 4 [pdf]
Last
update: 2009-06-04