Harold Simmons was a mathematician at the University of Manchester. His works include topics as logic, model theory, lattices, rings, semirings, localization, pointless topology, sheaf representations, recursion theory, -calculus, and proof theory.
Last revised on October 10, 2023 at 10:14:29. See the history of this page for a list of all contributions to it.