Gregory Nisbet
  • Member for 4 years, 8 months
  • Last seen this week
  • Menlo Park, CA, United States
Stats
954
reputation
12k
reached
9
answers
17
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
This user doesn’t have any gold badges yet.
5
silver badges
11
bronze badges
38
Score
21
Posts
81
Posts %
2
Score
2
Posts
8
Posts %
2
Score
2
Posts
8
Posts %
2
Score
1
Posts
4
Posts %
1
Score
2
Posts
8
Posts %
0
Score
3
Posts
12
Posts %
Top posts
View all questions and answers