TY  - RPRT
TI  - A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
AU  - Justus Becker
PY  - 2026
UR  - https://arxiv.org/abs/2609.24673
ID  - 2609.24673
ER  -