TY  - RPRT
TI  - Complexity of the variable-free fragment of the weak Grzegorczyk logic
AU  - Irina Agadzhanian
AU  - Mikhail Rybakov
PY  - 2022
UR  - https://arxiv.org/abs/2211.14571
ID  - 2211.14571
ER  -