... in recognition of his distinguished contributions to combinatory topology, Boolean algebras and mathematical logic.
... sa pagkilala ng kanyang marangal kontribusyon sa combinatory topology, Boolean algebras matematika at lohika.