Publication:3996610

zbMath0705.68003MaRDI QIDQ3996610

Dirk Siefkes

Publication date: 23 January 1993

zbMATH Keywords

completeness; propositional logic; logical consequence; logic programming; soundness; foundations of mathematics; predicate logic; axiom systems; logical theory

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68T27: Logic in artificial intelligence

68N17: Logic programming