Quantifier elimination in quasianalytic structures via non-standard analysis
Tytuł:
Quantifier elimination in quasianalytic structures via non-standard analysis
Czasopismo:
Rok:
2015
Strony:
235-267
Numer DOI:
10.4064/ap114-3-4