User:Liqiun

I’m interested in logic and computer science.