Kaye, Richard (2007) THE MATHEMATICS OF LOGIC. Cambridge University Press, United States of America. ISBN 0-511-34273-X