Forcing against bounded arithmetic

17.01.2019 16:00 - 18:00

Moritz Müller (Universitat Politècnica de Catalunya, Barcelona, Spain)

Organiser:

KGRC

 Verwandte Links