26 janv. 1854 - Булева алгебра

Description:

Формальную логику намного опередили работы Джорджа Буля, опубликовавшего свои результаты в 1854 г. Сейчас алгебра высказываний Буля называется булевой — математически полная алгебраическая система.