LOGIKSEMINARIET STOCKHOLM-UPPSALA Michael Rathjen (Leeds och SCAS) ger ett föredrag med titeln Infinitary proof theory and $\Pi^0_2$ conservation kl 10.30, 4 februari i sal Eng 2-0022, Uppsala universitet (i Filosofiska institutionens lokaler vid Engelska parken). Välkomna Erik Palmgren