Handbook of philosophical logic. Vol. 1, Elements of classical logic (Array, 1983)