first-order predicate calculus

Dari Wikipedia, ensiklopedia bebas