Coordinate Free Ways of Characterizing Consistency Statements

    Activity: Talk or presentation › Invited talk › Popular

    Period26 Jan 2010
    Event titleConferentie: Algebra & Coalgebra meet Proof Theory (London)
    Event typeSeminar