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