Mathematical Logic : Revised Edition Hardcover Willard Van Orman Quine 1951 What stands out about this textbook is the detailed diagrams that label every part.