cmn1

314
reputation

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