ELEMENTARY LOGIC by WILLARD VAN ORMAN QUINE , 1998