at the Summer Institute for Symbolic Logic, Institute for Defense Analysis, Communications Research Division, Princeton, pp. 303–4. 1957. "Systematic treatment of the decision problem", Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Institute for Defense Analysis, Communications Research Division, Princeton, p. 363. 1962. "Solvable Surányi subclasses: an introduction to the Herbrand theory", Proceedings of a Harvard Symposium on Digital Computers and Their Applications, Annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, pp. 32–47. 1962. "Classification of AEA formulas by letter atoms" (with A. S. Kahr and Hao Wang), Bulletin of the American Mathematical Society, vol. 68, pp. 528–32. 1963. "Three solvable cases" (with J. S. Denton, Jr.), Notices of the American Mathematical Society, vol. 10, p. 590. 1963. "False lemmas in Herbrand" (with S. O. Aanderaa and P. B. Andrews), Bulletin of the American Mathematical Society, vol. 69, pp. 699–706. 1964. "Herbrand analyzing functions" (with S. O. Aanderaa), Bulletin of the American Mathematical Society, vol. 70, pp. 697–8. 1964. "Henry Maurice Sheffer" (with H. D. Aiken, W. V. O. Quine, Hao Wang, and H. A. Wolfson), Harvard University Gazette, vol. 60, pp. 87–8. 1966. "A supplement to Herbrand" (with J. S. Denton, Jr.), Journal of Symbolic Logic, vol. 31, pp. 393–8. 1967. "The Craig interpolation lemma" (with H. Putnam), Notre Dame Journal of Formal Logic, vol. 8, pp . 229-33. 1970. "Herbrand-style consistency proofs" (with J. S. Denton, Jr.), in A. Kino, J. Myhill, and R. E. Vesley (eds.), Intuitionism and Proof Theory, North-Holland, pp. 419–33. 1971. "Notes E-I", in W. D. Goldfarb (ed.), Jacques Herbrand Logical Writings, D. Reidel, pp. 190–201. 1971. "Note J" (with W. D. Goldfarb), in W. D. Goldfarb (ed.), Jacques Herbrand Logical Writings, D. Reidel, pp. 201–2. 1971. "Note N" (with W. D. Goldfarb), in W. D. Goldfarb (ed.), Jacques Herbrand Logical Writings, D. Reidel, pp. 265–71. 1983. "Academic freedom and tenure: corporate funding of academic research" (with J. J. Thomson, E. Holtzman, B. R. Kreiser), Academe, vol. 69, pp. 18–23. 1986. "Introductory note to 1929, 1930 and 1930a" (with J. van Heijenoort), in S. Feferman, J. W. Dawson, S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort (eds.), Kurt Gödel Collected Works, Volume I: Publications 1929-1936, Oxford University Press, pp. 44–59. 1990. "Quine", in R. B. Barrett and R. F. Gibson (eds.), Perspectives on Quine, Blackwell, pp. 81–95. 1991. "Tautology: how not