
On elimination of quantifiers in some non-classical mathematical theories
Badia, Guillermo, Tedder, AndrewVolume:
64
Langue:
english
Journal:
Mathematical Logic Quarterly
DOI:
10.1002/malq.201600078
Date:
July, 2018
Fichier:
PDF, 273 KB
english, 2018