Boolean Models and Methods in Mathematics, Computer Science, and Engineering