Dies ist eine alte Version des Dokuments!
-eine Methode, die auf der Verwendung von SYMBOLen beruht, deren kombinatorische GESETZe bekannt und ALLGEMEIN sind und deren Resultate eine eindeutige Auslegung gestatten (BOOLE)