conference on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments

    Activity: Talk or presentation › Invited talk › Academic

    Description

    Title: Coordinate Free Ways of Characterizing Consistency Statements
    Period6 Aug 2011
    Event titleconference on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments
    Event typeOther
    LocationLondonShow on map