TY  - RPRT
TI  - Learning, Realizability and Games in Classical Arithmetic
AU  - Federico Aschieri
PY  - 2011
UR  - https://arxiv.org/abs/1012.4992
ID  - 1012.4992
ER  -