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