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