Fundamentals of mathematical logic

Peter G. Hinman
A.K. Peters
9781568812625
1-56881-262-0