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 [Book Review]

Journal of Symbolic Logic 19 (4):297-298 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267760

Links

PhilArchive



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

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

Uspénskij V. A.. O vyčislimyh opéraciáh . Doklady Akadémii Nauk SSSR, vol. 103 , pp. 773–776.Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (1):76-77.
Markov A.. O nékotoryh nérazréšimyh problémah kasaúščihsá matric . Doklady Akadémii Nauk SSSR, vol. 57 , pp. 539–542.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):53-54.
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.
Markov A.. Névožmoinost' nékotoryh algoritmov v téorii associativnyh sistém . Doklady Akadémii Nauk SSSR, vol. 77 , pp. 19–20. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (3):215-215.
Adán S. I.. Algoritmičéskaá nérazréšmost' problém raspoznavaniá nékotoryh svojstv grupp . Doklady Akadémii Nauk SSSR, vol. 103 , pp. 533–535.Adán S. I.. Konéčnooprédélénnyé gruppy i algoritmy . Uspéhi matématičiskih nauk, vol. 12 no. 3 , pp. 248–249. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-54.
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.
Markov A.. O nérazréšimosti nékotoryh problém topologii . Doklady Akadémii Nauk SSSR, vol. 123 , pp. 978–980.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197-197.
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.
N. A. Šanin. O nékotoryh logičéskih problémah arifmétiki . Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 43. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, pp. 112. [REVIEW]James Renno - 1957 - Journal of Symbolic Logic 22 (1):79-79.
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.
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.
A. D. Tajmanov. O klassé modéléj, zamknutom otnositél'no prámogo proizvédéniá . Doklady Akadémii Nauk SSSR, vol. 127 , pp. 1173–1175. - A. D. Tajmanov. O klassé modéléj, zamknutyh otnositél'no prámogo proizvédéniá . Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 24 , pp. 493–510. [REVIEW]Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253-254.
Novikov P. S.. Ob aksiomé polnoj indukcii . Doklady Akadémii Nauk SSSR, vol. 64 , pp. 457–459.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):256-257.
Mučnik A. A.. Ob otdélimosti rékursivno-péréčislimyh množestv . Doklady Akadémii Nauk SSSR, vol. 109 , pp. 29–32.Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):224-225.
Médvédév Ú. T.. Stépéni trudnosti massovyh problém . Doklady Akadémii Nauk SSSR, vol. 104 , pp. 501–504.Andrzej Mostowski - 1956 - Journal of Symbolic Logic 21 (3):320-321.

Analytics

Added to PP
2016-06-30

Downloads
13 (#978,482)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references