Formal proofs concerning partial recursive functions.

Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S.

Bibliographic Details
Main Author:	Rotenberg, Leo Joseph
Other Authors:	Marvin L. Minsky.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering
Online Access:	http://hdl.handle.net/1721.1/13453

Internet

http://hdl.handle.net/1721.1/13453