Boolean algebra - Goodstein, R.L. (Macmillan, 1963)
English