Translation
powered by 
Word not found. Suggestions:
Words contain "predicate"
Reverse definition search (Computing (FOLDOC) dictionary):
predicate logic HiLog predicate calculus inclusive filter set logic XSB fuzzy logic goal PPLambda propositional logic equational logic Qu-Prolog linear function TABLOG Larch relational calculus Z relational language formula \begin Algebraic Logic Functional language Petri net quantifier SORCERER temporal logic first-order logic natural deduction