לוגיקה / (2) מערכת הוכחה לתחשיב הפסוקים / (12) סיכום הקשר בין הסינטקס לסמנטיקה

___________________________________________ Dr. Shari Shinold