First-order logic - Smullyan, Raymond M. (Dover books on mathematics, 1995)