mjh2539



submissions / comments / favourites


Broad interests: Logic, computation, philosophy.