Search results
- 1.0504143 - ÚI 2020 US eng V - Research Report
Badia, G. - Tedder, Andrew
On elimination of quantifiers in some non-classical mathematical theories.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1809.08299 [math.LO].
https://arxiv.org/abs/1809.08299
Permanent Link: http://hdl.handle.net/11104/0295840