P. S. Novikov. Nérazréšmost' problémy soprázénnosti v térii grupp (Unsolvability of the conjugacy problem in group theory). Izvéstiá Akadémii Nauk SSSR, Séria mat., vol. 18 (1954), pp. 485–524.

J. L. Britton

doi:10.2307/2964488

P. S. Novikov. Nérazréšmost' problémy soprázénnosti v térii grupp (Unsolvability of the conjugacy problem in group theory). Izvéstiá Akadémii Nauk SSSR, Séria mat., vol. 18 (1954), pp. 485–524.

Journal of Symbolic Logic ◽

10.2307/2964488 ◽

1958 ◽

Vol 23 (1) ◽

pp. 52-54

Author(s):

J. L. Britton

Keyword(s):

Group Theory ◽

Nauk Sssr ◽

Conjugacy Problem ◽

Akademii Nauk Sssr

Download Full-text

A. Mal'cév. Ob odnom obščém métodé polučéniá lokal'nyh téorém téorii grupp (On a general method for obtaining local theorems in group theory). Ivanovskij Gosudarstvénnyj Pédagogičéskij Institut, Učényé zapiski, Fiziko-matématičéskié nauki, vol. 1 no. 1 (1941), pp. 3–9. - A. I. Mal'cév. O prédstavléniáh modéléj (On representations of models). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 27–29.

Journal of Symbolic Logic ◽

10.2307/2964581 ◽

1959 ◽

Vol 24 (1) ◽

pp. 55-57 ◽

Cited By ~ 7

Author(s):

Leon Henkin ◽

Andrzej Mostowski

Keyword(s):

Group Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

General Method

Download Full-text

P. S. Novikov. Ob algoritmičéskoj nérazréšimosti problémy toždéstva slov v téorii grupp (Algorithmic unsolvability of the word problem in group theory). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 44. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, 143 pp.

Journal of Symbolic Logic ◽

10.2307/2964487 ◽

1958 ◽

Vol 23 (1) ◽

pp. 50-52

Author(s):

J. L. Britton

Keyword(s):

Group Theory ◽

Word Problem ◽

Nauk Sssr ◽

Akademii Nauk Sssr

Download Full-text

M. I. Slukhovskii. Russkaia biblioteka XVI–XVII vv. [The Russian Library in the 16th and 17th Centuries] Moscow: Izdatel'stvo “Kniga.” 1973. Pp. 252 and S. P. Luppov. Knigd v Rossii v pervoi chetverti XVIII veka [The Book in Russia in the First Quarter of the 18th Century]. (Akademiia Nauk SSSR, Ordena Trudovogo Krasnogo Znameni Biblioteka Akademii Nauk SSSR.) Leningrad: Izdatel'stvo “Nauka.” 1973. Pp. 372

The American Historical Review ◽

10.1086/ahr/81.1.183-a ◽

1976 ◽

Keyword(s):

18Th Century ◽

Nauk Sssr ◽

Akademii Nauk Sssr

Download Full-text

F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.

Journal of Symbolic Logic ◽

10.2307/2270799 ◽

1967 ◽

Vol 32 (3) ◽

pp. 396-396

Author(s):

D. Nelson

Keyword(s):

English Translation ◽

Propositional Logic ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.

Journal of Symbolic Logic ◽

10.2307/2270438 ◽

1964 ◽

Vol 29 (2) ◽

pp. 109-109

Author(s):

E. M. Fels

Keyword(s):

Nauk Sssr ◽

Propositional Calculus ◽

Akademii Nauk Sssr

Download Full-text

Petr Vopěnka. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel). Doklady Akadémii Nauk SSSR, vol. 143 (1962), pp. 11–12. - Petr Vopěnka. Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode der Spektren). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 149–160. - Petr Vopěnka. Eléméntarnyé pondtiá v téorii množéstv (Elementare Begriffe in der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 161–167. - Petr Vopěnka. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichtstandardmodellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 229–233. - Petr Vopěnka. Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 163–172.

Journal of Symbolic Logic ◽

10.2307/2270736 ◽

1970 ◽

Vol 35 (3) ◽

pp. 470-472

Author(s):

Andrzej Mostowski

Keyword(s):

Standard Model ◽

Set Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Axiomatic Set Theory

Download Full-text

Ú. I. Žuravlév. Ob otdélimosti podmnožéstv vérših n-mérnogo édiničnogo kuba. Doklady Akadémii Nauk SSSR, vol. 113 (1957), pp. 264–267. - Iu. I. Zhuravlev. On the separability of subsets of the vertices of an n-dimensional unit cube. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1958, 6 pp.

Journal of Symbolic Logic ◽

10.2307/2964791 ◽

1959 ◽

Vol 24 (2) ◽

pp. 188-189

Author(s):

Richard C. Jeffrey

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Unit Cube ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Dimensional Unit

Download Full-text

V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém (Equivalent transformations of contact circuits). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 262–265.

Journal of Symbolic Logic ◽

10.2307/2269783 ◽

1964 ◽

Vol 29 (1) ◽

pp. 52-52

Author(s):

Andrzej Blikle

Keyword(s):

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

Ocherki po istorii russkikh geograficheskikh otkrytiy (Studies in the history of Russian geographical discoveries). By L. S. Berg. Moscow, Leningrad (Izdatel'stvo Akademii Nauk SSSR [Publishing House of the Academy of Sciences of the USSR]) 1946. 8vo. Pp. 358; illustrations and maps. 23 roubles

Quarterly Journal of the Royal Meteorological Society ◽

10.1002/qj.49707632719 ◽

1950 ◽

Vol 76 (327) ◽

pp. 111-111

Keyword(s):

Publishing House ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

History Of ◽

Academy Of Sciences

Download Full-text

G. N. Povarov. Matématičskaá téoriá sintéza kontaktnyh (1, k)-polúsnikov (Mathematical theory of the synthesis of (1, k)-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 100 (1955), pp. 909–912.

Journal of Symbolic Logic ◽

10.2307/2269148 ◽

1956 ◽

Vol 21 (3) ◽

pp. 332-332

Author(s):

Zdzisław Pawlak

Keyword(s):

Mathematical Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr

Download Full-text