The 2012 Münchenwiler Seminar

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Description

‘On some second-order systems of inductive definitions’
PeriodMay 2012
Event typeSeminar
LocationBern, Austria