Výsledky vyhledávání
- 1.0504143 - ÚI 2020 US eng V - Výzkumná zpráva
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
Trvalý link: http://hdl.handle.net/11104/0295840