Member for 6 years, 11 months
Last seen more than a month ago
Menlo Park, CA, United States
Here are some logical symbols for copying and pasting.
I am a software engineer. I study math as a hobby.
Here are a few random things that I like:
Right now (2022), 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