Quaife, Arthur William, Automated Development of Fundamental Mathematical Theories (1990) Quine, W. V., Mathematical Logic (1940) Quine, W. V., Rejoinder to Mr. Geach on What There Is (1951) Quine, W. V., The Ordered Pair in Number Theory (1951) Quine, W. V., On an Application of Tarski's Theory of Truth (1952) Quine, W. V., Two Theorems About Truth Functions (1953) Quine, W. V., A Proof of Church's Theorem (1954) Quine, W. V., Revision of "Methods of Logic" (1955) Quine, W. V., Logic, Symbolic (1957) Quine, W. V., A Basis for Number Theory in Finite Classes (1961)