Guillermo Badia Hernandez, Andrew Tedder,
"On elimination of quantifiers in some non-classical mathematical theories"
, in Mathematical Logic Quarterly, Vol. 64, Seite(n) 140-154, 2018
Original Titel:
On elimination of quantifiers in some non-classical mathematical theories