پیش‌نیازها Set theory

Axiom of Extensionality


تاربرگ‌های پیموده‌شده در این نشست: asymmetric ⟩ automaton ⟩ many-valued ⟩ Provability logic ⟩ Naming and Necessity