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
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