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

Broad interests: Logic, computation, philosophy.