Member for 2 years, 11 months
Last seen more than a month ago
Menlo Park, CA, United States
I am a software engineer. I study math as a hobby.
Here are a few random things that I like:
Right now (2021), I am studying model theory on my own. I am reading the books
- Model Theory: An Introduction by David Marker
- A Shorter Model Theory by Wilfrid Hodges