Handbook of Philosophical Logic
VI, 370 p.