user avatar
user avatar
user avatar
Greg Nisbet
  • Member for 3 years, 1 month
  • Last seen this week
  • Menlo Park, CA, United States
Stats
1,600
reputation
11k
reached
24
answers
12
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
12
bronze badges
33
Score
15
Posts
42
Posts %
19
Score
8
Posts
22
Posts %
19
Score
7
Posts
19
Posts %
18
Score
5
Posts
14
Posts %
18
Score
4
Posts
11
Posts %
9
Score
2
Posts
6
Posts %
Top posts
View all questions and answers