cmn1

280
reputation

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