Bonn Mathematical Logic Group

Praktikum Mathematische Logik


Time and Location

Summer 09, Be4 Room 42


You will join the Naproche team and help develop the Naproche system .
Tasks include:

We are looking for students who have If you are interested, send your application to Prof. Koepke.


Last updated: 1 March 2009