03 Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics

03F55 Intuitionistic mathematics (1 articles)

Partner of
EuDML logo