Non-monotonic logic



تاربرگ‌های پیموده‌شده در این نشست: Logic Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications