algebraïsch uitgewerkte en in automatisering toegepaste methode voor het weergeven van logische verbanden, ontwikkeld door de wiskundige Boole.
Woordenboek Nederlandse termen van Bibliotheek en documentaire informatie
dr. P.J. van Swigchem en E.J. Slot (1990)
