000 | 01032nmm a2200229Ia 4500 | ||
---|---|---|---|
008 | 230313s9999||||xx |||||||||||||||||und|| | ||
020 | _a9781470429027 (online) | ||
245 | 2 | _aA panorama of mathematics | |
260 |
_aProvidence, Rhode Island : _bAmerican Mathematical Society, _c2016 |
||
300 | _a1 online resource (viii, 279 pages : illustrations) | ||
490 |
_aContemporary mathematics, _vv. 658 _x1098-3627 |
||
505 | _apure and applied : Conference Mathematics and Its Applications, November 14-17, 2014, Kuwait University, Safat, Kuwait | ||
650 | _aLinear and multilinear algebra | ||
650 | _aMathematical logic and foundations -- General logic -- Higher-order logic and type theory. | ||
650 | _aMathematical logic and foundations -- Proof theory and constructive mathematics -- Metamathematics of constructive systems. | ||
650 | _aMathematics | ||
700 | _aFonseca Carlos M da | ||
700 | _aHuynh Dinh Van | ||
700 | _aKirkland Steve | ||
700 | _aTuan Vu Kim | ||
856 | _uhttp://www.ams.org/conm/658/ | ||
999 |
_c29051 _d29051 |