Proof, Truth, Computation
Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy
21-25 July 2014 in the Benedictine nunnery on Fraueninsel (an island in Chiemsee), Germany
Here is my presentation as a pdf file.
Together with Graham Leigh I have given a brief survey of axiomatic theories of truth in an entry for the Stanford Encyclopedia:
An in-depth treatment can be found in my
Axiomatic Theories of Truth, Cambridge University Press, 2011