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

Broad interests: Logic, computation, philosophy.