Seminar
Speaker: | A. Troelstra (University of Amsterdam) |
---|---|
Title: | The Intuitionism of Brouwer and Heyting |
Date: | Friday, 09 Oct 1998 |
Time: | 18:00-19:00 |
You are here: Seminars » 1998-1999 » A. Troelstra, 1998-10-09 |
Speaker: | A. Troelstra (University of Amsterdam) |
---|---|
Title: | The Intuitionism of Brouwer and Heyting |
Date: | Friday, 09 Oct 1998 |
Time: | 18:00-19:00 |
Comments