News and Events: Upcoming Events

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

23 January 2004, Colloquium on Mathematical Logic, Sergei Artemov

Speaker: Sergei Artemov (New York)
Title: Reflexive Combinatory Logic
Date: Friday 23 January 2004
Time: 16:00-17:00
Location: <em>(Changed!)</em>
Opzomerkamer, Academiegebouw, Domplein 29, Utrecht

We use de Jongh Theorem in a combination with the usual methods of the logic of proofs to establish the completeness of the basic intuitionistic logic of proofs w.r.t. the Heyting arithmetic.

For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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