TY  - RPRT
TI  - Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
AU  - Takahiro Yamada
PY  - 2023
DO  - 10.1007/s10992-022-09698-w
UR  - https://arxiv.org/abs/2301.12070
ID  - 2301.12070
ER  -