Games As Mathematics Of Logic And Computation