Mathematical Logic For Computer Science M. Ben Ari - BEN, Ari M (Prentice-Hall, 1993)