Stone duality for first-order logic: a nominal approach to logic and topology

Murdoch James Gabbay. Stone duality for first-order logic: a nominal approach to logic and topology. In Andrei Voronkov, Margarita V. Korovina, editors, HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. pages 178-209, EasyChair, 2014. [doi]

Abstract

Abstract is missing.