Mathematical logic by Willard Van Orman Quine | Lex | Lex