first-order logic

Dari Wikipedia, ensiklopedia bebas