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

03F03 Proof theory, general (1 articles)

Partner of
EuDML logo