cmn1

121
reputation
2

interested in logic, analysis, applications of logic.