Logic Seminar

Wednesday, February 15, 2017 10:30 pm - 11:59 pm

Title: Diagonal method and tree strategies

Speaker:  Valentina Harizanov, GWU

Abstract: We will continue with more sophisticated diagonal arguments in computability theory and how they can be presented on a tree.


Share This Event