KGRC Kurt Gdel Research Center for Mathematical Logic at the University of Vienna
Department of Formal Logic.