Mathematical logic - Chiswell, Ian, (Oxford texts in logic ;)