The Concurrency Control Problem for Database Systems
Deontic Logic: Introductory and Systematic Readings
Differential Systems Involving Impulses (Lecture Notes in Mathematics, 954)
First Order Algebraic Differential Equations: A Differential Algebraic Approach (Lecture Notes in Mathematics, 804)
Binary Functions and their Applications
Boolean Reasoning The Logic of Boolean Equations
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms (Lecture Notes in Computer Science, 175)
Boolean Valued Analysis
Leśniewski’s Systems: Ontology and Mereology (Nijhoff International Philosophy Series, 13)
Boolean Constructions in Universal Algebras
