In only its second year, the International Logic Olympiad is already booming as logic becomes more and more crucial in our ...