A panorama of mathematics - Providence, Rhode Island : American Mathematical Society, 2016 - 1 online resource (viii, 279 pages : illustrations) - Contemporary mathematics, v. 658 1098-3627 .

pure and applied : Conference Mathematics and Its Applications, November 14-17, 2014, Kuwait University, Safat, Kuwait

9781470429027 (online)


Linear and multilinear algebra
Mathematical logic and foundations -- General logic -- Higher-order logic and type theory.
Mathematical logic and foundations -- Proof theory and constructive mathematics -- Metamathematics of constructive systems.
Mathematics