Subject(s):
|
-Àrees temàtiques de la UPC::Matemàtiques i estadística -Mathematics--Problems, exercises, etc. -Matemàtica -- Problemes, exercicis, etc. -Classificació AMS::03 Mathematical logic and foundations::03F Proof theory and constructive mathematics |