No CrossRef data available.
Article contents
A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov (Editor's foreword). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika (Translator's addition). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 77–153. - Gerhard Gentzen. Novoé izložénié dokazatél′stva néprotivoréčivosti dlá čistoj téorii čisél. Russian translation of IV 31 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 154–190. - E. W. Beth. Métod sémantičéskih tablic. Russian translation of paragraph 67 omitting the examples, and of portions of paragraphs 68, 70, and 92 of XXVII 73 by A. O. Slisénko, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 191–199. - Stig Kanger. Uproščénnyj métod dokazatél′stva dlá eléméntarnoj logiki. Russian translation of XXXII 119 by S. Ú. Maslov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 200–207. - S. C. Kleene. Péréstanovočnost′ priménénij pravil v géncénovskih isčisléniáh LK i LJ. Russian translation of XIX 62(1) by V. P. Orévkov and A. V. Sočilina, with added footnotes by the translators. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 208–236. - S. C. Kleene. Konéčnaá aksiomatiziruémost′ téorij v isčislénii prédikatov s pomošč′ú dopolnitél′nyh prédikatnyh simvolov. Russian translation of XIX 62(2) by G. V. Davidov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 237–284. - K. Schütte. Intérpolácionnaá téoréma dlá intuicionistskoj logiki prédikatov. Russian translation of XXIX 145 by A. O. Slisénko. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 285–295.
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.
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200091738/resource/name/firstPage-S0022481200091738a.jpg)
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1970