Now showing items 1-10 of 1
| 006.3 (1) |
| Artificial intelligence (1) |
| Automatic theorem proving (1) |
| Classical propositional logic (1) |
| Global logical entailment (1) |
| Local logical entailment (1) |
| Logic, Symbolic and mathematical (1) |
| Modality (Logic) (1) |
| Proof theory (1) |
| Proposition logic (1) |
Now showing items 1-10 of 1