Seminar
| Speaker: | Joan Rand Moschovakis (ΜΠΛΑ) |
|---|---|
| Title: | The Gödel-Gentzen Negative Translation and Classical Function Realizability |
| Date: | Παρασκευή, 18 Φεβ 2000 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 1999-2000 » J. R. Moschovakis, 2000-02-18 |
| Speaker: | Joan Rand Moschovakis (ΜΠΛΑ) |
|---|---|
| Title: | The Gödel-Gentzen Negative Translation and Classical Function Realizability |
| Date: | Παρασκευή, 18 Φεβ 2000 |
| Ώρα: | 18:00-19:00 |
Comments