✦ LIBER ✦
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
✍ Scribed by Review by: Ann Yasuhara
- Book ID
- 124971833
- Publisher
- Association for Symbolic Logic
- Year
- 1971
- Tongue
- English
- Weight
- 224 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2270314
No coin nor oath required. For personal study only.