Warszawski konkurs matematyczny - Logika