first-order logic - Turkish English Dictionary