13629 results in The Journal of Symbolic Logic
V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém. Problémy kibérnétiki, vol. 5 (1961), pp. 61–76. - W. L. Murski. Über äquivalente Transformationen von Kontakt-Schaltungen. German translation of the preceding by Franziska Grassme. Probleme der Kybernetik, vol. 5 (1964), pp. 44–64. - V. L. Murskii. On the equivalent transformations of switching circuits. English translation of the same. Problems of cybernetics, vol. 5 (1964), pp. 77–98. - V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktno-véntil′nyh shém. Doklady Akadémii Nauk SSSR, vol. 136 (1961), pp. 1043–1046.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
- Print publication:
- 10 October 1968
-
- Article
- Export citation
É. I. Grindlingér. O nérazréšimosti problémy toždéstva slov dlá odnogo klassa polugrupp s razréšimoj problèmoj izomorfizma. Doklady Akadémii Nauk SSSR, vol. 171 (1966), pp. 519–520. - E. I. Grindlinger [Greendlinger]. On the unsolvability of the word problem for a class of semigroups with a solvable isomorphism problem. English translation of the preceding by M. Greendlinger. Soviet mathematics, vol. 7 no. 6 (1967), pp. 1502–1503.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Metarecursively enumerable sets and their metadegrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-411
- Print publication:
- 10 October 1968
-
- Article
- Export citation
S3(S) = S3.5
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 444-445
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Carol R. Karp. Languages with expressions of infinite length. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1964, xix + 183 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-478
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Abner Shimony. Coherence and the axioms of confirmation. The journal of symbolic logic, vol. 20 (1955), pp. 1–28. - R. Sherman Lehman. On confirmation and rational betting. The journal of symbolic logic, vol. 20 (1955), pp. 251–262. - John G. Kemeny. Fair bets and inductive probabilities. The journal of symbolic logic, vol. 20 (1955), pp. 263–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 485-489
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Romane Clark and Paul Welsh. Introduction to logic. D. Van Nostrana Company, Inc., Princeton, N.J., Toronto, New York, London, 1962, xii + 268 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 479-480
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Reductibilities in intuitionistic topology1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-417
- Print publication:
- 10 October 1968
-
- Article
- Export citation
V. V. Dončénko. Nékotoryé voprosy, svázannyé s problémoj razréšéniá dlá isçisléniá strogoj implikacii Akkérmana (Some questions connected with the decision problem for Ackermann's system of rigorous implication). Problémy logiki, Izdatél′stvo Akadémii SSSR, Moscow1963, pp. 18–24. - L. L. Maksimova. O sistémé aksiom isčisléniá strogoj implikacii (On a set of axioms for the system of rigorous implication). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 59–68. - L. L. Maksimova. Formal′nyé vyvody v isčislénii strogoj implikacii (Formal deductions in the system of rigorous implication). Algébra i logika, Séminar, vol. 5 no. 6 (1966), pp. 33–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-485
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Hans Hermes. Unentscheidbarkeit der Arithmetik. Mathematisch-physikalische Semesterberichte (Göttingen), vol. 11, no. 1 (1964), pp. 20–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- 10 October 1968
-
- Article
- Export citation
M. Makkai A compactness result concerning direct, products of models. Fundamenta mathematicae, vol. 57 (1965), pp. 313–325.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
- Print publication:
- 10 October 1968
-
- Article
- Export citation
N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, x + 337 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- 10 October 1968
-
- Article
- Export citation
N. I. Stážkin. Formirovanié matématičéskoj logiki (Formation of mathematical logic). Izdatél′stvo “Nauka.”Moscow1967. 508 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Dieter Rödding. Anzahlquantoren in der Prädikatenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 (1966), pp. 66–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Richard Taylor. The problem of future contingencies. The philosophical review, vol. 66 (1957), pp. 1–28. - Rogers Albritton. Present truth and future contingency. The philosophical review, vol. 66 (1957), pp. 29–46. - Colin Strang. Aristotle and the sea battle. Mind, n.s. vol. 69 (1960), pp. 447–465.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Hauptsatz for higher order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-457
- Print publication:
- 10 October 1968
-
- Article
- Export citation
L. A. Bokut′. Ob odnom svojstvé grupp Buna (On a property of the groups of Boone). Algébra i logika, Séminar, vol. 5 no. 5 (1966), pp. 5–23, and vol. 6 no. 1 (1967), pp. 15–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-471
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Tadahiro Uesu. On Zermelo's set-theory and the simple type-theory with the axiom of infinity. Commentarti mathematici Universitatis Sancti Pauli, vol. 15 (1966), pp. 49–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
- Print publication:
- 23 July 1968
-
- Article
- Export citation
John G. Kemeny and Paul Oppenheim. On reduction. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 6–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 316-317
- Print publication:
- 23 July 1968
-
- Article
- Export citation