International Olympiad in Mathematical Logic

Try yourself at the
Olympic Competition in Mathematical Logic

or test yourself first.

Informations, Awards and Results,
check the current standings.

 

Authors: Izidor Hafner, Tomislav Žitko