Predicate logic /
Epstein, Richard L.
New York ; Oxford : Oxford University Press,
1994.
Logic.
Logic, Symbolic and mathematical.
Semantics.