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


تاربرگ‌های پیموده‌شده در این نشست: گویایی آموزگاهی ⟩ چماریک‌های پیوندی ⟩ consequence relation ⟩ نگره‌ی هنگرد ⟩ Symbolic Logic ⟩ گویایی گزاره‌ای آموزگاهی