@misc{indiciae9cb44551de57,
  title = {Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case},
  author = {Takahiro Yamada},
  year = {2023},
  doi = {10.1007/s10992-022-09698-w},
  url = {https://arxiv.org/abs/2301.12070},
  note = {Source identifier: 2301.12070}
}