Publication:4846462

zbMath0823.68060MaRDI QIDQ4846462

Ruth E. Davis

Publication date: 27 August 1995

zbMATH Keywords

predicate calculus; propositional logic; Horn clauses; Lambda calculus; elementary number theory

Mathematics Subject Classification ID

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

68Q45: Formal languages and automata

93B20: Minimal systems representations

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68N17: Logic programming

Related Items

A fuzzy logic with interval truth values