Member for 7 years, 10 months
Last seen more than 3 years 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
This user hasn’t posted yet.