לוגיקה למדעי המחשב - כרך ב מאת יורם הירשפלד | סימניה - ספרים, סופרים וחברים