А какую из формальных логик Вы хотите изучить?
Многозначная логика (например, трехзначная), вероятностная, нечеткая, линейная, модальная, паранепротиворечивая, релевантная, линеарная, немонотонная, логика вычислимости?
Например, в курсе электроники изучают цифровую логику, она же булева алгебра.
)