"On generalizing Gödel's second incompleteness theorem"

    Aktiviteetti: Kutsuttu esitelmä

    Description

    Contributors: Raatikainen Panu
    Aikajakso21 syysk. 2016
    Tapahtuman otsikkoThe Logic Seminar (The Department of Mathematics and Statistics, The University of Helsinki)
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational