Second-Order Logic and Definability

    Aktiviteetti: Kutsuttu esitelmä

    Description

    Contributors: Kuusisto, Antti
    Aikajakso31 tammik. 2013
    Tapahtuman otsikko85th Workshop on General Algebra (AAA85)
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational