Logic, logic, and logic /
Boolos, George.
Burgess, John P.
Jeffrey, Richard.
Cambridge, Mass. ; London : Harvard University Press,
1998.