Mathematical Logic Games