Това е само предварителен преглед!
Основи на математическата логика
Основател на математическата логика е английският математик Джордж Бул (1815-1864г). Затова тя се нарича Булева алгебра. Може да се срещне и под наименованията алгебра на съжденията или алгебра на логиката...