Disjunction in modal description logics.
p. 25
Forcing with propositional Lindenbaum algebras.
p. 107
Boolean algebras in algebraic topology.
p. 135
Fin-set: a syntactical definition of finite sets.
p. 155