ウィラード・ヴァン・オーマン・クワイン
また同様に論理学、集合論、数学基礎論に関する2冊の大学院生向けのテキストも執筆した。They employ the notation of Principia Mathematica which makes for hard reading:
Mathematical Logic. Shows that much of what Principia Mathematica took more than 1000 pages to say can be said in 250 pages. The proofs are concise, even cryptic, and the overall approach is dated. The set theory is New Foundations, augmented with proper classes. The last chapter, on the classic incompleteness theorems of Gödel and Tarski, became the launching point for Raymond Smullyan's later and more lucid exposition of these and related results.