IL.K.11

برابر انگلیک (انگلیسی): IL.K.11
دیسه‌ای
∀𝑥𝜙(𝑥) → 𝜙(𝑡)
∀x𝜙(x) → 𝜙(t)


تاربرگ‌های پیموده‌شده در این نشست: بردیدی از گویایی نماتکین IL.H.05 گویایی آزاد نتار IL.K.12 دمداشت: گویایی پیوند و بایستگی گویایی آزاد کاسته