Willard QUINE

• Mathematical Logic
• Mathematical Logic, Revised Edition