هم‌ساختی

برابر انگلیک (انگلیسی): constructive


تاربرگ‌های پیموده‌شده در این نشست: نگره‌ی رایانش Symbolic Logic