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-Hollan - Indeterminate form - Document - PDFSEARCH.IO

First Page	Meta Content
	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-Hollan Add to Reading List Document Date: 2002-03-26 18:08:23 Open Document File Size: 258,04 KB Share Result on Facebook Country Netherlands / / IndustryTerm business data processing languages / computing / actual algorithms / / ProgrammingLanguage COBOL / ALGOL / ALGOL 60 / C / / SocialTag Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory

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 List