consequence relation

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


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem 4.2 جبر آهنجیده بی‌کنشی چندبارگی پل ریچارد هالموس بَوَندَگی ساختاری گویایی چیست؟