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) |