Weitere Informationen finden Sie hier.
Computable quotient presentations of models of arithmetic and set theory
23.03.2017 16:00 - 18:00
Organiser: