Gödelin toisen epätäydellisyyslauseen yleistämisestä

    Aktiviteetti: Kutsuttu esitelmä

    Description

    Contributors: Raatikainen Panu
    Aikajakso25 syysk. 2015
    Tapahtuman otsikkoÄärellisten mallien seminaari (Matematiikka)
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational