Another side of categorical propositions : the Keynes-Johnson octagon of oppositionsMoktefi, Amirouche; Schang, FabienHistory and philosophy of logic2023 / p. 459-475 https://doi.org/10.1080/01445340.2022.2143711

Boole'i algebra kasutamine automaatikalülituste projekteerimisel : loengukonspektAgur, Ustus1972 https://www.ester.ee/record=b1327567*est

Combinatorial calculations in many-dimensional Boolean spaceZakrevskij, Arkadij2012 http://www.ester.ee/record=b2771638*est

Defects, faults and fault modelsGramatova, Elena; Fisherova, Maria; Ubar, Raimund-Johannes; Pleskacz, Witold A.Handbook of testing electronic systems2005 / p. 26-96 : ill

KRATT : QBF-assisted removal and structural analysis attack against logic lockingAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2311.05982

On the origin of Venn diagramsMoktefi, Amirouche; Lemanski, JensAxiomathes2022 / p. 887–900 https://doi.org/10.1007/s10516-022-09642-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Optimization in Boolean spaceZakrevskij, Arkadij; Pottosin, Yu.; Cheremisinova, L.2009 http://www.ester.ee/record=b2461762*est

Исчисление высказываний и элементы теории множеств во введении в инженерную математикуJõgi, Tiiu; Tammeraid, IvarЗональное совещание-семинар заведующих кафедрами и ведущих преподавателей математики вузов Белорусской, Латвийской, Литовской, Эстонской ССР и Калининградской области РСФСР : Вильнюс, 12-14 окт. 1983 г. : тезисы докладов1983 / с. 100 https://www.ester.ee/record=b1564990*est

Локализация кратных неисправностей в цифровых схемах методом решения булевых дифференциальных уравненийUbar, Raimund-JohannesСистемы и средства управления : межвузовский сборник научных трудов1978 / с. 71-74 https://www.ester.ee/record=b2642693*est

Применение алгебры Буля при проектировании схем автоматики : конспект лекцийAgur, Ustus1974 https://www.ester.ee/record=b1292481*est