Gan, Xiao-Xiong,

Formal analysis : an introduction / Xiao-Xiong Gan - xii, 323 páginas - De Gruyter studies in mathematics ; Volume 80 0179-0986 .

9783110597851


Análisis matemático

QA300 / G34

515