SE547
:
Overview: Background
[4/20]
It will be useful to have some background in logic or language semantics
I will try to fill in background as I go
