Filter by: Subject
Now showing items 1-10 of 1
| completeness theorems (1) |
| Herbrand's theorem (1) |
| mathematical logic (1) |
| MATHEMATICS (1) |
| MATHEMATICS::Algebra, geometry and mathematical analysis (1) |
| MATHEMATICS::Algebra, geometry and mathematical analysis::Mathematical logic (1) |
| model theory (1) |
| predicate logic (1) |
| propositional logic (1) |
| resolution method (1) |