First order predicate logic

From Free net encyclopedia