Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20 January 2004, Tf Lunch meetings, William W. Tait

Speaker: William W. Tait
Title: Are there intuitionistic counterexamples to classical mathematical logic?
Date: January 20, 2004
Time: 11:00-13:00
Location: BG 036, Bestuursgebouw, Uithof, Utrecht

For more information, see http://www.phil.uu.nl/~jjoosten/tflunch

Please note that this newsitem has been archived, and may contain outdated information or links.