Formal languages
Semantics
Predicate logic
Theoretical computer science
Model theory
Discourse representation theory
First-order logic
Earley parser
Prover9
Logic
Mathematics
Science