هم‌ساختی
برابر انگلیک (انگلیسی): constructive


تاربرگ‌های پیموده‌شده در این نشست: مرد پوشالی ⟩ بَرخه‌شمار ⟩ consequence relation ⟩ سان مایکروسیستمز