diff options
| author | Camil Staps | 2018-04-17 11:33:17 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-17 11:33:17 +0200 |
| commit | 069d8b7bc1b5212a60f80b7b1a9d58b47d723e19 (patch) | |
| tree | e5b7048d078ba769a558571420b08502ed505269 /Assignment1/specifying-properties.tex | |
| parent | Add definitions of wff, wff0, wff+, wff- (and an exercise about them) (diff) | |
Deriving the formal semantics of derived operators
Diffstat (limited to 'Assignment1/specifying-properties.tex')
0 files changed, 0 insertions, 0 deletions