associated themselves with the institute in 1996. The ILLC is rooted in the Amsterdam logic research tradition dating back to the early twentieth century (including researchers such as L.E.J. Brouwer, Arend Heyting, and Evert Willem Beth). It considers Beth's Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (founded in 1952) as its precursor. Directors Members Other notable members and past members include: Renate Bartsch Harry Buhrman Peter van Emde Boas Henkjan Honing Luca Incurvati Theo Janssen Dick de Jongh Michiel van Lambalgen Benedikt Löwe Remko Scha Anne Troelstra Jouko Väänänen Paul Vitányi See also Korteweg-de Vries Institute for Mathematics Centrum Wiskunde & Informatica External links Research institutes in the Netherlands Cognitive science research institutes Computer science institutes in the Netherlands Logic organizations University of Amsterdam