The top documents tagged [universal sentence]
chapter09
12 views
Inference in First-Order Logic
69 views
Inference in first-order logic
33 views
Inferencing
31 views