Logic for the computer sciences
- 1 April 1964
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 7 (4) , 216-218
- https://doi.org/10.1145/364005.364033
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Computability of Recursive FunctionsJournal of the ACM, 1963