לוגיקה - מבוא... את היסודות ללוגיקה המודרנית. עבודתם של בול וממשיכיו עומדת ביסוד תחשיב הפסוקים המודרני, וגישתם האלגברית ללוגיקה עומדת ביסוד מדעי המחשב. בול וממשיכיו הציגו לראשונה מונחי יסוד של תורת הקבוצות במסגרת הדיון בלוגיקה, ובאמצעותם ייצגו הסקים אריסטוטלים כמשוואות שהמסקנה היא פתרונן. במקביל, מתמטיקאים ופילוסופים ... או במערכת אקסיומטית מסוימת, ולא תכונות של טענה או של קבוצה מסוימת של טענות. הלוגיקה המודרנית סיפקה, באמצעים אלו, את היסודות למדעי המחשב ואפשרה את פיתוחם של המחשבים המודרניים. בעקבות פרגה, פרח המחקר הלוגי במאה העשרים בעבודתם של ברטראנד ראסל, לודוויג ויטגנשטיין, אלפרד טרסקי, קורט גדל, אלן טיורינג, ואחרים. ...