Turing machines and post systems.
Series: Topics in pure mathematics, a second level course -- programme 25; M202;25
Publisher: Open University
Published: 1970
Place of publication: Milton Keynes
Language: eng