No CrossRef data available.
Article contents
V. V. Dončénko. Nékotoryé voprosy, svázannyé s problémoj razréšéniá dlá isçisléniá strogoj implikacii Akkérmana (Some questions connected with the decision problem for Ackermann's system of rigorous implication). Problémy logiki, Izdatél′stvo Akadémii SSSR, Moscow1963, pp. 18–24. - L. L. Maksimova. O sistémé aksiom isčisléniá strogoj implikacii (On a set of axioms for the system of rigorous implication). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 59–68. - L. L. Maksimova. Formal′nyé vyvody v isčislénii strogoj implikacii (Formal deductions in the system of rigorous implication). Algébra i logika, Séminar, vol. 5 no. 6 (1966), pp. 33–39.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1968