cmn1

290
reputation

interested in logic, analysis, applications of logic & complexity.