Deakstadieđáhus: Boolean algebra with computer applications.