|
|
|
|
Home / Science / Math / Logic and Foundations / Research Centers / Europe / Germany
|
|
|
|
Web Sites
|
- Aachen - Mathematical Foundations of Computer Science.
www-mgi.informatik.rwth-aachen.de
- Bonn - Mathematical Logic Group.
www.uni-bonn.de/logic/logic.html
- Freiburg - Institute for Mathematical Logic and Foundations of Mathematics.
logik.mathematik.uni-freiburg.de/index_en.html
- Heidelberg - Mathematical Logic.
www.math.uni-heidelberg.de/logic
- Karlsruhe - Department for Logic, Complexity, and Deduction Systems. [site is in German; some pages available in English]
www.rz.uni-karlsruhe.de/Uni/Fakultaeten/Informatik/ILKD.html
- Munich - Mathematical Logic.
www.mathematik.uni-muenchen.de/~logik/welcome_e.html
|
|
|
|
|