Computability and logic. third edition.

BOOLOS, G.S. and R.C. JEFFREY.

UP, Cambridge, 1989

ISBN: 0521389232

23 cm. original paperback. xii,304 pp. diagrams. index. -(very) good.