13629 results in The Journal of Symbolic Logic
P. S. Novikov. Ob algoritmičéskoj nérazréšimosti problémy toždéstva slov v téorii grupp (Algorithmic unsolvability of the word problem in group theory). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 44. Izdatél'stvo Akadémii Nauk SSSR, Moscow1955, 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-52
- Print publication:
- March 1958
-
- Article
- Export citation
Noam Chomsky. Logical syntax and semantics. Their linguistic relevance. Language, vol. 31 (1955), pp. 36–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
- Print publication:
- March 1958
-
- Article
- Export citation
Steven Orey. On ω-consistency and related properties. The journal of symbolic logic, vol. 21 (1956), pp. 246–252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-41
- Print publication:
- March 1958
-
- Article
- Export citation
C. F. v. Weizsäcker. Komplementarität und Logik. Die Naturwissenschaften, vol. 42 (1955), pp. 521–529, 545–555.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
- Print publication:
- March 1958
-
- Article
- Export citation
Liu Shih-Chao. On the analytic and the synthetic. The philosophical review, vol. 65 (1956), pp. 218–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
- Print publication:
- March 1958
-
- Article
- Export citation
D. P. Henry. Expressions trivially decidable. The journal of computing systems, vol. 1 no. 4 (1954), pp. 221–224.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-64
- Print publication:
- March 1958
-
- Article
- Export citation
A. Grzegorczyk. Some proofs of undecidability of arithmetic. Fundamenta mathematicae, vol. 43 (1956), pp. 166–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-47
- Print publication:
- March 1958
-
- Article
- Export citation
Michael O. Rabin. Recursive unsolvability of group theoretic problems. Annals of mathematics, ser. 2 vol. 67 (1958), pp. 172–194.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-56
- Print publication:
- March 1958
-
- Article
- Export citation
A. Mostowski. On recursive models of formalised arithmetic. Bulletin de l'Académie Polonaise des Sciences, Classe III, vol. 5 (1957), pp. 705–710.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-46
- Print publication:
- March 1958
-
- Article
- Export citation
George E. Collins. Distributivity and an axiom of choice. The journal of symbolic logic, vol. 19 (1954), pp. 275–277.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 42
- Print publication:
- March 1958
-
- Article
- Export citation
W. Mays and D. P. Henry. Jevons and logic. Mind, n.s. vol. 62 (1953), pp. 484–505.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
- Print publication:
- March 1958
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- March 1958
-
- Article
- Export citation
Günter Asser. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 (1955), S. 252–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-39
- Print publication:
- March 1958
-
- Article
- Export citation
Naoto Yonemitsu. A note on modal systems (II). Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 6 (1957), pp. 9–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1958
-
- Article
- Export citation
JSL volume 23 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1958
-
- Article
-
- You have access
- Export citation
A. H. CopelandSr. and Frank Harary. A characterization of implicative Boolean rings. Canadian journal of mathematics, vol. 5 (1953), pp. 465–469.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1958
-
- Article
- Export citation
H. G. Rice. On completely recursively enumerable classes and their key arrays. The journal of symbolic logic, vol. 21 (1956), pp. 304–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 48
- Print publication:
- March 1958
-
- Article
- Export citation
A. H. Copeland Sr. Note on cylindric algebras and polyadic algebras. Michigan mathematical journal, vol. 3 (1955–1956) pp. 155–157.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
- Print publication:
- March 1958
-
- Article
- Export citation
William Bryar. St. Thomas and the existence of God. Three interpretations. Henry Regnery Company, Chicago1951, XXV + 252 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1958
-
- Article
- Export citation
Alan Rose. Fragments of the m-valued propositional calculus. Mathematische Zeitschrift, vol. 59 no. 2 (1953), pp. 206–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
- Print publication:
- March 1958
-
- Article
- Export citation