mjh2539
since 9/16/2014
574 karma
Broad interests: Logic, computation, philosophy.