Gelfand theorem implies Stone representation theorem of Boolean rings. Saworotnow, Parfeny P. (1995) International Journal of Mathematics and Mathematical Sciences
Geometric and higher order logic in terms of abstract Stone duality. Taylor, Paul (2000) Theory and Applications of Categories [electronic only]