First-order logic - Smullyan, Raymond M. (Dover)