03F55 Intuitionistic mathematics

MSC > 03Fxx Proof theory and constructive mathematics > 03F55 Intuitionistic mathematics

Donner son avis