Handbook of philosophical logic. Vol. 1, Elements of classical logic (Dordrecht : D. Reidel, 1983)