Formal proofs concerning partial recursive functions.
Author(s)
Rotenberg, Leo Joseph
DownloadFull printable version (2.004Mb)
Advisor
Marvin L. Minsky.
Terms of use
Metadata
Show full item recordDescription
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S. Bibliography: leaf 57.
Date issued
1966Department
Massachusetts Institute of Technology. Department of Electrical Engineering; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering