ردهها book A First Course in Logic (2004) Participants: گسترشها Shawn Hedman (1970 – present) جستارهای پیونددار computability Proof theory Model theory