User:M SHIRAISHI

I am a logician and an active member of the EURMS,