Algebra, Boolean.

Cryptographic Boolean functions and applications / by: (Electronic resources)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (Electronic resources)

Flexibility principles in boolean semantics = the interpretation of coordination, plurality, and scope in natural language / by: (Electronic resources)

Bent functions = fundamentals and results / by: (Electronic resources)

The forcing method in set theory = an introduction via Boolean valued logic / by: (Electronic resources)

Operator algebras generated by commuting projections : = a vector measure approach / by: (Language materials, printed)

Analytic quotients : = theory of liftings for quotients over analytic ideals on the integers / by: (Language materials, printed)

Sentential probability logic = origins, development, current status, and technical applications / by: (Electronic resources)

Reconstructability analysis theory and applications by: (Electronic resources)

Set Theory = Boolean-Valued Models and Independence Proofs by: (Language materials, printed)

Advanced BDD Optimization by: (Language materials, printed)

Introduction to boolean algebras by: (Language materials, printed)

From objects to diagrams for ranges of functors / by: (Language materials, printed)

Sheaves of algebras over boolean spaces by: (Electronic resources)

High quality test pattern generation and boolean satisfiability by: (Electronic resources)

Boolean functions in coding theory and cryptography / by: (Language materials, printed)

Set theory : = Boolean-valued models and independence proofs / by: (Language materials, printed)

Cryptographic Boolean functions and applications by: (Electronic resources)

Duality theories for Boolean algebras with operators by: (Electronic resources)

Dynamics of complex autonomous Boolean networks by: (Electronic resources)

Bridging constraint satisfaction and Boolean satisfiability by: (Electronic resources)

Boolean functions and their applications in cryptography by: (Electronic resources)

Bent functions = results and applications to cryptography / by: (Electronic resources)