Rheinische Friedrichs-Wilhelms-Universität Bonn
Mathematisches Institut,
Mathematical Logic Group
Due a serious hacker attack we had to move this page to
http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/mimoe/SWIFT/.
You will be taken to the new location in a moment.
Sorry for the unconvenience and thanks for your patience.