first-order logic articles