Gan, Xiao-Xiong. "6 Formal analysis and classical analysis". Formal Analysis: An Introduction, Berlin, Boston: De Gruyter, 2021, pp. 161-188. https://doi.org/10.1515/9783110599459-006
Gan, X. (2021). 6 Formal analysis and classical analysis. In Formal Analysis: An Introduction (pp. 161-188). Berlin, Boston: De Gruyter. https://doi.org/10.1515/9783110599459-006
Gan, X. 2021. 6 Formal analysis and classical analysis. Formal Analysis: An Introduction. Berlin, Boston: De Gruyter, pp. 161-188. https://doi.org/10.1515/9783110599459-006
Gan, Xiao-Xiong. "6 Formal analysis and classical analysis" In Formal Analysis: An Introduction, 161-188. Berlin, Boston: De Gruyter, 2021. https://doi.org/10.1515/9783110599459-006
Gan X. 6 Formal analysis and classical analysis. In: Formal Analysis: An Introduction. Berlin, Boston: De Gruyter; 2021. p.161-188. https://doi.org/10.1515/9783110599459-006