A precis of mathematical logic