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

Axiom of Extensionality


تاربرگ‌های پیموده‌شده در این نشست: Provability logic ⟩ Positive Free Logic ⟩ Relevance logics ⟩ Modal Logics between S4 and S5 ⟩ Principia Mathematica ⟩ Proof theorists