TY  - RPRT
TI  - Levin's and Prucnal's theorems on Medvedev's logic of finite problems
AU  - Adam Přenosil
PY  - 2024
UR  - https://arxiv.org/abs/2404.04349
ID  - 2404.04349
ER  -