TY  - DATA
AU  - Fonseca Carlos M da
AU  - Huynh Dinh Van
AU  - Kirkland Steve
AU  - Tuan Vu Kim
TI  - A panorama of mathematics 
T2  - Contemporary mathematics, 
SN  - 9781470429027 (online)
PY  - 2016///
CY  - Providence, Rhode Island
PB  - American Mathematical Society
KW  - Linear and multilinear algebra
KW  - Mathematical logic and foundations -- General logic -- Higher-order logic and type theory
KW  - Mathematical logic and foundations -- Proof theory and constructive mathematics -- Metamathematics of constructive systems
KW  - Mathematics
N1  - pure and applied : Conference Mathematics and Its Applications, November 14-17, 2014, Kuwait University, Safat, Kuwait
UR  - http://www.ams.org/conm/658/
ER  -