A január 3.-i Matematikai logika írásbeli megtalálható a honlapomon: math.bme.hu/~ferenczi Ferenczi Miklós