E-mail: belohorec@math.cas.cz
Tel.: +420-222 090 773
Office: 201
Department of Mathematical Logic and Theoretical Computer Science