Trahténbrot B. A.. Névozmožnost' algorifma dlá problémy razréšimosti na konéčnyh klassah . Doklady Akademii Nauk SSSR, vol. 70 , pp. 569–572 [Book Review]

Journal of Symbolic Logic 15 (3):229-229 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266840

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Novikov P. S.. O klassah régulárnosti . Doklady Akadémii Nauk SSSR, vol. 64 , pp. 293–295.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):255-256.
Markov A.. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém . Doklady Akadémii Nauk SSSR, vol. 55 , pp. 587–590. [REVIEW]Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):52-53.
Trahténbrot B. A.. O rékursivnoj otdélimosti . Doklady Akadémii Nauk SSSR, vol. 88 , pp. 953–956.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (1):60-60.
Trahténbrot B. A.. Tabličnoé prédstavlénié rékursivnyh opératorov . Doklady Akadémii Nauk SSSR, vol. 101 , pp. 417–420.Andrzej Mostowski - 1956 - Journal of Symbolic Logic 21 (2):207-208.
Trahténbrot B. A.. Nékotoryé postroéniá v logiké odnoméstnyh. prédikatov . Doklady Akadémii Nauk SSSR vol. 138 , pp. 320–321. [REVIEW]Andrzej Mostowski - 1964 - Journal of Symbolic Logic 29 (2):100-100.
N. A. Šanin. O nékotoryh opéraciáh nad logiko-arifmétičéskimi formulami . Doklady Akadémii Nauk SSSR, vol.93 , pp. 779–782. - N. A. Šanin. O pogružéniáh klassičéskogo logiko-arifmétičéskogo isčisléniá v konstruktivnoé logiko-arifmétičéskoé isčislénié . Doklady Akadémii Nauk SSSR, vol. 94 , pp. 193–196. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.
Pil'čak B. Ú.. O problémé razréšimosti dlá isčisléniá zadač Doklady Akadémii Nauk SSSR, vol. 75 , pp. 773–776.Helena Rasiowa - 1951 - Journal of Symbolic Logic 16 (3):226-227.
Trahténbrot B. A.. Asimptotičéskaá océnka složnosti logičéskih sétéj s památ′ú. Doklady Akadémii Nauk SSSR, vol. 127 , pp. 281–284.Trahtenbrot B. A.. Asymptotic evaluation of the complexity of logic nets with memory. English translation of the above. Automation express,, vol. 2 , pp. 13–14. [REVIEW]Andrzej Blikle - 1964 - Journal of Symbolic Logic 29 (2):100-100.
Review: B. A. Trahtenbrot, Doklady akademii nauk SSSR. [REVIEW]Jiří Bečvář - 1964 - Journal of Symbolic Logic 29 (2):98-100.
Trahténbrot B. A.. Ob opératorah réalizuémyh v logičéskih sétah . Doklady Akadémii Nauk SSSR, vol. 112 , pp. 1005–1007.Andrzej Blikle - 1962 - Journal of Symbolic Logic 27 (2):252-253.
Kogalovskij S. R.. Ob univérsal'nyh klassah algébr . Doklady Akadémii Nauk SSSR, vol. 122 , pp. 759–761. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-401.
Trahténbrot B. A.. Sintéz logičéskih sétéj, opératory kotoryh opisany srédstvami isčisléniá odnoméstnyh predikátov . Doklady Akadémii Nauk SSSR, vol. 118 , pp. 646–649. [REVIEW]Andrzej Blikle - 1963 - Journal of Symbolic Logic 28 (3):254-255.
Trahténbrot B. A.. Konéčnyé avtomaty i logika odnoméstnyh predikátov . Doklady Akadémii Nauk SSSR, vol. 138 , pp. 326–329. [REVIEW]Jiří Bečvář - 1964 - Journal of Symbolic Logic 29 (2):100-100.
Kuznécov A. V. and Trahténbrot B. A.. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva . Doklady Akadémii Nauk SSSR, vol. 105 , pp. 897–900. [REVIEW]J. W. Addison - 1957 - Journal of Symbolic Logic 22 (3):301-302.
Novikov P. S.. Ob algoritmičéskoj nérazréšimosti problémy toždéstva . Doklady Akadémii Nauk SSSR, vol. 85 , pp. 709–712. [REVIEW]William W. Boone - 1954 - Journal of Symbolic Logic 19 (1):58-60.

Analytics

Added to PP
2016-06-30

Downloads
20 (#720,454)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modelle Der Mengenlehre, Die Aus Endlichen Mengen Bestehen.Kurt Hauschild - 1963 - Mathematical Logic Quarterly 9 (1-4):7-12.
Ein Beitrag Zur Metatheorie Der Mengenlehre.Kurt Hauschild - 1963 - Mathematical Logic Quarterly 9 (18-20):291-314.

Add more citations

References found in this work

No references found.

Add more references