First-order logic /
Smullyan, Raymond M.
New York : Dover ; London : Constable,
1995.