Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: classical-logic
1 item with this tag.
Adding Sentences Shrinks Models and Grows Consequences
classical-logic
model-theory