Mathematical Logic - "Chiswell, Ian" (Oxford University Press)
includes index and biblioraphy