Date: 2002-03-26 18:08:23Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic | | A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-HollanAdd to Reading ListSource URL: www-formal.stanford.eduDownload Document from Source Website File Size: 258,04 KBShare Document on Facebook
|