ردهها نبیگ A First Course in Logic (2004) برابر انگلیک (انگلیسی): A First Course in Logic R دستاندرکاران: گسترشها شاون هدمن (1970 – present) جستارهای پیونددار رایانشپذیری نگرهی آوین نگرهی نمونه