Citations

• Davis, M., ed. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press, 1965, New York.
  
  
• Davis, M. "The Prehistory and Early History of Automated Deduction," in Automation of Reasoning 1, edited by J. Siekmann and G. Wrightson, Springer-Verlag, NY, 1983, pages 1-28.
  
  
• DeBruijn, N. G. "The Mathematical Language Automath, its Usage, and Some of its Extensions," in Selected Papers on Automath, edited by R. P. Nederpelt, J. H. Geuvers, and R.C. de Vrijer, Vol. 133, Studies in Logic and The Foundations of Mathematics, 1994, pages 73-100. Reprinted from: Laudet, M., Lacombe, D. and Schuetzenberger, M., eds., Symposium on Automatic Deduction, pages 26-61, by courtesy of Springer-Verlag, Heidelberg.
  
  
• Frege, G. Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, Olms, 1962, Vol. 1, Hildesheim.
  
  
• Frege, G. "Begriffsschrift, A Formula Language, Modeled upon that for Arithmetic for Pure Thought," In From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, 1967, Cambridge, MA, pages 1-82.
  
  
• Godel, K. "On Intuitionistic Arithmetic and Number Theory," in The Undecidable, edited by M. Davis, Raven Press, 1965, pages 75-81.
  
  
• Murthy, C. "Extracting Constructive Content for Classical Proofs," PhD Thesis, Department of Computer Science, Cornell University, 1990, published as TR 89-1151.
  
  
• Murthy, C. "Classical Proofs as Programs: How, What, and Why" Constructivity in Computer Science, Lecture Notes in Computer Science 613, edited by J. P. Myers and M. J. O'Donnell, June, 1991, Springer-Verlag, pages 71-88.
  
  
• Nederpelt, R. P., J. H. Geuvers and R. C. De Vrijer, editors. Selected Papers in Automath, Elsevier, 1994, Vol. 133, Studies in Logic and the Foundations of Mathematics, Amsterdam.
  
  
• Russell, J. and Chetan Murthy. "A Direct Constructive Proof of Higman's Lemma," in Proceedings of the Fifth Symposium on Logic in Computer Science, IEEE, 1990, pages 257-269.
  
  
• Smorynski, C. Self-Reference and Modal Logic, Springer-Verlag, 1985.
  
  
• Wang, H. "Toward Mechanical Mathematics", IBM Journal of Research and Development, 1960, pages 2-22.