First-order logic - Smullyan, Raymond M (Dover Books on Mathematics, 1995)