yaobinwen / robin_on_rails

Robin on Rails: my notes about technology and some other knowledge.

1 stars 0 forks source link

First-Order Logic, Part I #204

Closed yaobinwen closed 10 months ago

yaobinwen commented 1 year ago

TODOs

[x] Study the lecture. (Current progress: p103).
[x] Make notes.