logic group
profile
research
publications
teaching
links
My personal homepage
Ralf Schindler's homepage
