Reviews - A. I. Mal′Cév. Algoritmy i rekursivnyé funkcii (Algorithms and recursive functions). Izdatél′stvo “Nauka,” Glavnaá Rédakciá Fiziko-Matématičéskoj Litératury, Moscow1965, 391 pp [Book Review]

Journal of Symbolic Logic 34 (2):290-290 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271107

Links

PhilArchive



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

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.. Eléménty matématičéskoj logiki . Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow 1959, 400 pp. [REVIEW]Andrzej Mostowski - 1965 - Journal of Symbolic Logic 30 (3):356-357.
Uspénskij V. A.. Lékcii o vyčislimyh funkciáh . Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow 1960, 492 pp. [REVIEW]Elliott Mendelson - 1966 - Journal of Symbolic Logic 31 (2):263-264.
Ánovskaá S. A.. Matématičéskaá logika i osnovaniá matématiki . Matématika v SSSR za sorok lét 1917–1957, Vol. I, Obzornyé stat'i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120. [REVIEW]E. J. Cogan - 1962 - Journal of Symbolic Logic 27 (4):470-470.
A. A. Lápunov. Matématičéskié isslédovaniá, svázannyé s ekspluataciéj eléktronnyh vyčislitél′nyh mašin . Matematika v SSSR za sorok lét 1917–1957, vol. 1, Obzornyé stat′i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1959, pp. 857–877. [REVIEW]Ann M. Singletery - 1966 - Journal of Symbolic Logic 31 (3):516-516.
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others . Sintéz eléktronnyh vyčislitél'nyh i upravláúščih shém. Russian translation of XVIII 347 by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 pp. - G. N. Povarov. Review of the preceding. Russian. Avtomatika i téléméhanika, vol. 15 , pp. 567–569. - M. A. Gavrilov. Téoriá réléjno-kontaktnyh shém. Analiz i sintéz struktury réléjno-kontaktnyh shém. . Akadémiá Nauk SSSR, Institut Avtomatiki i Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 pp. [REVIEW]Zdzisław Pawlak - 1956 - Journal of Symbolic Logic 21 (3):331-331.
Médvédév Ú. T.. O klassé sobytij, dopuskaúščih prédstavlénié v konéčnom avtomaté . Avtomaty, Izdatél'stvo Inostrannoj Litératury, Moscow 1956, pp. 385–401. [REVIEW]Andrzej J. Blikle - 1965 - Journal of Symbolic Logic 30 (3):381-382.
Łukasiewicz Jan. Aristotélévskaé sillogistika s točki zréniá sovréménnoj formal′noj logiki . Izdatél′stvo Inostrannoj Litératury, Moscow 1959, 311 pp. [REVIEW]Andrzej Mostowski - 1966 - Journal of Symbolic Logic 31 (2):285-285.
Alonzo Church. Vvédénié v matématičéskuú logiku. Russian translation of XXII 286 by V. S. Čérnávskij, edited by V. A. Uspénskij. Izdatél'stvo Inostrannoj Litératury, Moscow1960, 484 pp. [REVIEW]James G. Renno - 1962 - Journal of Symbolic Logic 27 (1):76-76.
S. V. Áblonskij. Funktional'nyé postroéniá v k-značnoj logiké . Sbornik statéj po matématičéskoj logiké i éé priložéniám k nékotorym voprosam kibérnétiki, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 51, Izdatél'stvo Akadémii Nauk SSSR, Moscow1958, pp. 5–142. [REVIEW]Arto Salomaa - 1964 - Journal of Symbolic Logic 29 (4):214-216.
Konéčnyé avlomaty - B. A. Trahténbrot and Á. M. Barzdin′. Konéčnyé avlomaty . Izdatél′stvo “Nauka,”Moscow1970, 400 pp. [REVIEW]Robert McNaughton - 1977 - Journal of Symbolic Logic 42 (1):111-112.
S. Ú. Maslov. O “Tag”-problémé E. L. Posta . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):526-527.
S. Ú. Maslov. Nékotoryé svojstva apparata kanoničéskih isčislénij E. L. Posta . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 5–56. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):524-526.
Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. . - A. S. Ésénin-Vol′pin. Ot péravodčika . Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot k v dokazatél'stvé téorémy 36. to in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV . .) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
A. I. Mal'cév. Algébraičéskié sistémy. Russian original of the foregoing. Izdatél'stvo “Nauka,” Moscow1970, 392 pp. - Thomas J. Jech. The axiom of choice. Studies in logic and the foundations of mathematics, vol. 75. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, XI + 202 pp. [REVIEW]Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.
Zinov'év A. A.. Filosofskié problémy mnogoznačnoj logiki . Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, 139 pp. [REVIEW]David Dinsmore Comey - 1963 - Journal of Symbolic Logic 28 (3):255-256.

Analytics

Added to PP
2015-02-05

Downloads
14 (#971,788)

6 months
7 (#416,569)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some applications of computable one-one numberings.Martin Kummer - 1990 - Archive for Mathematical Logic 30 (4):219-230.
On computable automorphisms of the rational numbers.A. S. Morozov & J. K. Truss - 2001 - Journal of Symbolic Logic 66 (3):1458-1470.

Add more citations

References found in this work

No references found.

Add more references