Үүнийг мессежээр илгээх: Varieties of constructive mathematics