TY  - BOOK
AU  - Gan,Xiao-Xiong
TI  - Formal analysis: an introduction 
T2  - De Gruyter studies in mathematics
SN  - 9783110597851
AV  - QA300 G34
U1  - 515 23
PY  - 2021///]
CY  - Berlin
PB  - De Gruyter
KW  - Análisis matemático
ER  -