Home > People > Profile
1 Publications
Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz
in: The road to universal logic II, Basel,