Filtern nach: Schlagwort
Anzeige der Dokumente 1-10 von 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) |