13629 results in The Journal of Symbolic Logic
A. G. Lunc. Mnogopolúsniki, sodéržaščié zamykaúščié kontakty vnutrénnih rélé (Multiterminal networks containing the closing contacts of internal relays). Doklady Akadémii Nauk SSSR, vol. 165 (1965), pp. 47–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
- Print publication:
- December 1966
-
- Article
- Export citation
J. C. E. Dekker. An infinite product of isols. Illinois journal of mathematics, vol. 7 (1963), pp. 668–680.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
- Print publication:
- December 1966
-
- Article
- Export citation
Michael Morley. On theories categorical in uncountable powers. Proceedings of the National Academy of Sciences of the United States of America, vol. 49 (1963), pp. 213–216. - Michael Morley. Categoricity in power. Transactions of the American Mathematical Society, vol. 114 (1965), pp. 514–538.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 646
- Print publication:
- December 1966
-
- Article
- Export citation
V. S. Čérnávskij. Ob obratimosti algorifmov (On the reversibility of algorithms). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 9 (1960), pp. 425–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
- Print publication:
- December 1966
-
- Article
- Export citation
Anjan Shukla. A set of axioms for the propositional calculus with implication and converse non-implication. Notre Dame journal of formal logic, vol. 6 no. 2 (1965), pp. 123–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
- Print publication:
- December 1966
-
- Article
- Export citation
Bertrand Russell. Bertrand Russell's dictionary of mind, matter and morals. Edited, with an Introduction by Lester E. Denonn. Philosophical Library, New York1952, xiv + 290 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1966
-
- Article
- Export citation
Azriel Lévy. Comparing the axioms of local and universal choice. 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. 83–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
- Print publication:
- December 1966
-
- Article
- Export citation
K. Jaakko Hintikka. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 57–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
- Print publication:
- December 1966
-
- Article
- Export citation
An axiomatic system for the first order language with an equi-cardinality quantifier
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-640
- Print publication:
- December 1966
-
- Article
- Export citation
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. 697
- Print publication:
- December 1966
-
- Article
-
- You have access
- Export citation
A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 (1961), pp. 3–60. - A. I. Mal′tsev. Constructive algebras. I. English translation of the preceding by K. A. Hirsch. Russian mathematical surveys, vol. 16 no. 3 (1961), pp. 77–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-649
- Print publication:
- December 1966
-
- Article
- Export citation
A. A. Markov. K problémé prédstavimosti matric (Zum Problem der Darstellbarkeit von Matrizen). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 157–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- December 1966
-
- Article
- Export citation
Michael O. Rabin. Real time computation. Israel journal of mathematics, vol. 1 (1963), pp. 203–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
- Print publication:
- December 1966
-
- Article
- Export citation
Corporate Members of the Association for Symbolic Logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 709-737
- Print publication:
- December 1966
-
- Article
- Export citation
J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
- Print publication:
- December 1966
-
- Article
- Export citation
Logical truth and logical implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 561
- Print publication:
- December 1966
-
- Article
- Export citation
Dan Pedoe. The gentle art of mathematics. With drawings by Griselda El Tayeb. The English Universities Press Limited, London 1958, and The Macmillan Company, New York 1959, 143 pp. Second edition, Collier Books, New York1963, 159 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1966
-
- Article
- Export citation
A. R. Turquette. Solution to a problem of Rose and Rosser. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 253–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-665
- 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
A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 (1962), pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 (1962), pp. 987–991.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
- Print publication:
- December 1966
-
- Article
- Export citation