Elementary logic - Quine, Wilard Van Orman (1941)