Seminar
Speaker: | S. Terwijn (Technische Universität Wien) |
---|---|
Title: | Intuitionistic Logic and Medvedev Degrees |
Date: | Friday, 14 Oct 2005 |
Time: | 18:00-19:00 |
You are here: Seminars » 2005-2006 » S. Terwijn, 2005-10-14 |
Speaker: | S. Terwijn (Technische Universität Wien) |
---|---|
Title: | Intuitionistic Logic and Medvedev Degrees |
Date: | Friday, 14 Oct 2005 |
Time: | 18:00-19:00 |
Comments