Elementary logic by Willard Van Orman Quine | Lex | Lex