23 results
Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 829
- Print publication:
- September 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York, 1974
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-304
- Print publication:
- June 1975
-
- Article
- Export citation
B. A. Trahténbrot. O častotnom vyčislénii funkcij (On frequential computation of functions). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 25–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- September 1974
-
- Article
- Export citation
A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma (On the definition of an algorithm). Uspéhi matématičéskih nauk, vol. 13 no. 4 (1958), pp. 3–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- December 1973
-
- Article
- Export citation
Dana Scott. On constructing models for arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 235–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- June 1973
-
- Article
- Export citation
É. A. Polákov. Algébry rékursivnyh funkcij (Algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 1 (1964), pp. 41–56. - É. A. Polákov. O nékotoryh svojstvah algébr rékwsivnyh funkcij (On some properties of algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 39–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
- Print publication:
- June 1972
-
- Article
- Export citation
Azriel Lévy. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 463–465.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
A. I. Mal′cév. Polno numérovannyé množéstva (Complete enumeration of a set). Algébra i logika, Séminar, vol. 2 no. 2 (1963), pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov (On the theory of computable families of objects). Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 (1964), pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii (Positive and negative numerations). Doklady Akadémii Nauk, SSSR, vol. 160 (1965), pp. 278–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- June 1970
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
- Print publication:
- 25 July 1969
-
- Article
- Export citation
M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 (1966), pp. 581–592.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
- Print publication:
- 10 October 1968
-
- Article
- Export citation
A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj (Note on the proof of the existence of standard models). Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-532
- Print publication:
- February 1968
-
- Article
- Export citation
J. D. Halpern. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 (1964), pp. 57–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
- Print publication:
- August 1967
-
- Article
- Export citation
J. W. Swanson. A reduction theorem for normal algorithms. The journal of symbolic logic, vol. 31 (1966), pp. 86–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- June 1967
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1966
-
- Article
- Export citation
Abstracts of papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 697-706
- Print publication:
- December 1966
-
- Article
-
- You have access
- Export citation
V. A. Uspénskij. Lékcii o vyčislimyh funkciáh (Lectures on computable functions). Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1960, 492 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- June 1966
-
- Article
- Export citation
Hao Wang. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1965
-
- Article
- Export citation
R. Montague and R. L. Vaught. A note on theories with selectors. Fundamenta mathematical vol. 47 (1959), pp. 243–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
- Print publication:
- June 1960
-
- Article
- Export citation
R. Montague and R. L. Vaught. Natural models of set theories. Fundamenta mathematical vol. 47 (1959), pp. 219–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
- Print publication:
- June 1960
-
- Article
- Export citation