Logikseminariet Stockholm/Uppsala HT-04 och VT-05

Seminarieledare: Per Martin-Löf (Stockholm), Erik Palmgren, Viggo Stoltenberg-Hansen (Uppsala)




Maintainer: Brandon Doherty, brandon.doherty@math.su.se