Ánovskaá S. A.. Osnovaniá matématiki i matématičéskaá logika . Matématika v SSSR za tridcat′ lét 1917–1947 , OGIZ, Moscow and Leningrad 1948, pp. 9–50 [Book Review]

Journal of Symbolic Logic 16 (1):46-48 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268665

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Á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.
Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá.(Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.).Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516.
A. A. Markov. Matématičéskaá logika i vyčislitél′ naá matématika . Véstnik Akadémii Nauk SSSR, vol. 27 no. 8 , pp. 21–25. [REVIEW]Andrzej Blikle - 1964 - Journal of Symbolic Logic 29 (4):209.
A. G. Dragalin. Matématičéskij intuicionizm. Vvédénié v téoriú dokazatél'stv. Russian original of the preceding. Matématičéskaá logika i osnovaniá matématiki, “Nauka,”Moscow1979, 256 pp. - D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer. Proceedings of the Royal Society of London, ser. A vol. 400 , pp. 97–117. [REVIEW]Urquhart Alasdair - 1990 - Journal of Symbolic Logic 55 (3):1309-1310.
V. I. Šéstakov. Matématičéskaá logika i avtomatika . Matématika v školé, no. 6 , pp. 4–20, and no. 1 , pp. 19–39.Andrzej Harland - 1964 - Journal of Symbolic Logic 29 (1):51.
Dončénko V. V.. Nékotoryé voprosy, svázannyé s problémoj razréšéniá dlá isçisléniá strogoj implikacii Akkérmana . Problémy logiki, Izdatél′stvo Akadémii SSSR, Moscow 1963, pp. 18–24.Maksimova L. L.. O sistémé aksiom isčisléniá strogoj implikacii . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 59–68.Maksimova L. L.. Formal′nyé vyvody v isčislénii strogoj implikacii . Algébra i logika, Séminar, vol. 5 no. 6 , pp. 33–39. [REVIEW]Alan Ross Anderson - 1968 - Journal of Symbolic Logic 33 (3):484-485.
Mekhanika i prikladnai︠a︡ matematika: logika i osobennosti prilozheniĭ matematiki.Ilʹi︠a︡ Izrailevich Blekhman - 1983 - Moskva: "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry. Edited by A. D. Myshkis & I︠A︡. G. Panovko.
A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 , S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 , S. 1–14. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (4):360-360.
Zinov'év A. A.. Logika vyskazyvanij i téoriá vyvoda . Izdatél'stvo Akadémii Nauk SSSR, Moscow 1962, 152 pp. [REVIEW]David Dinsmore Comey - 1965 - Journal of Symbolic Logic 30 (3):373.

Analytics

Added to PP
2013-11-03

Downloads
24 (#897,825)

6 months
12 (#277,123)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The heritage of S. A. Janovskaja.Irving H. Anellis - 1987 - History and Philosophy of Logic 8 (1):45-56.

Add more citations

References found in this work

No references found.

Add more references