Aspects of mathematical logic.