The structure of constructive proofs (invited lecture)

    Activity: Talk or presentation › Invited talk › Popular

    Period7 Sept 2012
    Event titleIntuitionism in 2012, Heyting Stichting (Amsterdam)
    Event typeSeminar