Tag Systems and Lag Systemsby Hao Wang;Universality of Tag...

Tag Systems and Lag Systemsby Hao Wang;Universality of Tag Systems with D = 2by John Cocke; Marvin Minsky;The Solvability of the Derivability Problem for One-Normal Systemsby Stephen A. Cook

Review by: Ann Yasuhara
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
36
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270314
Date:
June, 1971
File:
PDF, 224 KB
english, 1971
Conversion to is in progress
Conversion to is failed