"Discrete mathematics and mathematical logic" institute