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.

3 March 2006, Colloquium on Mathematical Logic, Bob Lubarsky

Speaker: Bob Lubarsky (Florida)
Title: Notions of Reals in Constructive ZF
Date: Friday 3 March 2006
Time: 16:00-17:00
Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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