Gregory Nisbet
  • Member for 7 years, 11 months
  • Last seen this week
  • Menlo Park, CA, United States
Stats
5,960
reputation
62k
reached
136
answers
213
questions
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
3
gold badges
12
silver badges
28
bronze badges
62
Score
125
Posts
36
Posts %
29
Score
41
Posts
12
Posts %
25
Score
34
Posts
10
Posts %
25
Score
30
Posts
9
Posts %
15
Score
13
Posts
4
Posts %
2
Score
16
Posts
5
Posts %
Top posts
View all questions and answers