download seminar details:
{
pdf
}
Seminar
| Speaker: | Joan Rand Moschovakis (MPLA) |
|---|---|
| Title: | The Gödel-Gentzen Negative Translation and Classical Function Realizability |
| Date: | Friday, 18 Feb 2000 |
| Time: | 18:00-19:00 |
| mpla.math.uoa.gr |
|
| Speaker: | Joan Rand Moschovakis (MPLA) |
|---|---|
| Title: | The Gödel-Gentzen Negative Translation and Classical Function Realizability |
| Date: | Friday, 18 Feb 2000 |
| Time: | 18:00-19:00 |
Comments