Book:Raymond M. Smullyan/First-Order Logic

Subject Matter

 * Predicate Logic