رده‌ها Algebra

Abstract algebra


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Foundation ⟩ Alan Ross Anderson ⟩ Kreisel–Putnam logic