#FilMat14: “Notes on Typed-Truth and Consistency Assertions” | Carlo Nicolai (University of Oxford) http://t.co/IwMsr7ksnb