WQO and BQO theory in subsystems of second order arithmetic

05.12.2000 15:00 - 16:30

A. Marcone (U Udine, IT)

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25