| |
Gan, Xiao-Xiong Formal analysis : an introduction Berlin : De Gruyter, 2021. xii, 323 p. -- (De Gruyter studies in mathematics ; vol. 80) QA300 G34 |
Gan
| |
Gan, Xiao-Xiong Formal analysis : an introduction Berlin : De Gruyter, 2021. xii, 323 p. -- (De Gruyter studies in mathematics ; vol. 80) QA300 G34 |