TY  - RPRT
TI  - First-order logic in the Medvedev lattice
AU  - Rutger Kuyper
PY  - 2015
UR  - https://arxiv.org/abs/1408.5311
ID  - 1408.5311
ER  -