Speaker
Stephen Mackereth
University of Pittsburgh
Talks at this conference:
| Thu, 16:00 |
How constructive is Gödel's Dialectica translation? Contributed Talks |
Speaker
| Thu, 16:00 |
How constructive is Gödel's Dialectica translation? Contributed Talks |