The development of mathematical logic (Monographs in modern logic)