TY  - RPRT
TI  - Finite semantics for fragments of intuitionistic logic
AU  - Felipe S. Albarelli
AU  - Rodolfo Ertola-Biraben
PY  - 2019
UR  - https://arxiv.org/abs/1903.04625
ID  - 1903.04625
ER  -