Logic for methematics and computer science - Burris,Stanley N. (NewJersy Prentice Hall, 1998)