✦ LIBER ✦
(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
✍ Scribed by Review by: Alan Ross Anderson
- Book ID
- 124959159
- Publisher
- Association for Symbolic Logic
- Year
- 1968
- Tongue
- English
- Weight
- 303 KB
- Volume
- 33
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2270365
No coin nor oath required. For personal study only.