2000 seminar talk: WQO and BQO theory in subsystems of second order arithmetic
Talk held by Alberto Marcone (University of Udine, Italy) at the KGRC seminar on 2000-12-05.
Sorry, there is no abstract for this talk in our database.
Talk held by Alberto Marcone (University of Udine, Italy) at the KGRC seminar on 2000-12-05.
Sorry, there is no abstract for this talk in our database.