Запис е-пошти: Game semantics for first-order logic