Boolean calculus of differencesde André ThayseMateriasBoolean AlgebraSwitching theoryThéorie commutationCommutation, Théorie de laLogischer EntwurfDifferentialrechnungCalcul booléenAlgèbre BooleDerivation (Algebra)Boolesche AlgebraFonction booléenneBoole, Algèbre deEdiciones (1)Boolean calculus of differences (1981)Springer-Verlag · inglésMás obras de André ThayseFrom modal logic to deductive databasesFrom natural language processing to logic for expert systemsFrom standard logic to logic programming