𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Multi-Head Automata.by V. A. Kozmidiadi; S. S. Marčénkov

✍ Scribed by Review by: J. W. Grzymala-Busse

Book ID
124972325
Publisher
Association for Symbolic Logic
Year
1973
Tongue
English
Weight
122 KB
Volume
38
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

(Nékotoryé voprosy, svazánnyé s problémo
(Nékotoryé voprosy, svazánnyé s problémoj razréšéniá dlá isčisléniá strogoj implikacii) Some Questions Connected with the Decision Problem for Ackermann's System of Rigorous Implication.by V. V. Dončénko;(0 sistémé aksiom isčisléniá strogoj implikacii) On a Set of Axioms for the System of Rigorous Implication.by L. L. Makisimova;(Formal'nyé vyvody v isčislénii strogoj implikacii )Formal Deductions in the System of Rigorous Implication.by L. L. Maksimova
✍ Review by: Alan Ross Anderson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 303 KB