TY  - RPRT
TI  - Game semantics for first-order logic
AU  - Olivier Laurent
PY  - 2010
DO  - 10.2168/lmcs-6(4:3)2010
UR  - https://arxiv.org/abs/1009.4400
ID  - 1009.4400
ER  -