About Cyborg Anthropologist

I am a mathematical logician. Most of what I like is in automated reasoning, decidable structures, model theory.

Lists

Timeline

jmw150 has no activity yet