جانشانی یکسان
برابر انگلیک (انگلیسی): uniform substitution


تاربرگ‌های پیموده‌شده در این نشست: Organon ⟩ نبیگ فشرده در افماریک جبر و تراز کردن ⟩ بوندگی افماریک کارکردی رایه‌ی یکم ⟩ پخش‌پذیری ⟩ گویایی انگارشی