user:mjh2539
created:Sep 16, 2014
karma:545
about:

Broad interests: Logic, computation, philosophy.