Computer programs for checking mathematical proofs. Recursive Function Theory (1962)

by J McCarthy
Venue:Proceedings of the American Mathematical Society Symposia on Pure Mathematics