Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet's user avatar
Greg Nisbet
  • Member for 2 years, 7 months
  • Last seen more than a month ago
  • Menlo Park, CA, United States
Stats
231
reputation
1k
reached
2
answers
1
question
Loading…
About

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
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
7
Score
2
Posts
67
Posts %
6
Score
1
Posts
33
Posts %
1
Score
2
Posts
67
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %