13629 results in The Journal of Symbolic Logic
Paul Lorenzen. Über die Widerspruchsfreiheit des Unendlichkeitsbegriffes. Studium generale, vol. 5 (1952), pp. 591–594.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
- Print publication:
- March 1957
-
- Article
- Export citation
Hao Wang. Between number theory and set theory. Mathematische Annalen, vol. 126 (1953), pp. 385–409.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
- Print publication:
- March 1957
-
- Article
- Export citation
J. A. Faris. The Gergonne relations. The journal of symbolic logic, vol. 20 (1955), pp. 207–231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
- Print publication:
- March 1957
-
- Article
- Export citation
Klaus Härtig. Axiomatische Probleme in der klassischen Syllogistik. Bericht über die Mathematiker-Tagung in Berlin vom 14. bis 18. Januar 1953, Deutscher Verlag der Wissenschaften, Berlin1953, pp. 19–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
- Print publication:
- March 1957
-
- Article
- Export citation
V. A. Uspénskij. O vyčislimyh opéraciáh (On calculable operations). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 773–776.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
- Print publication:
- March 1957
-
- Article
- Export citation
Gerold Stahl. La lógica de las preguntas. Anales de la Universidad de Chile, no. 102 (061956), pp. 71–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
- Print publication:
- March 1957
-
- Article
- Export citation
Two theories with axioms built by means of pleonasms
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-38
- Print publication:
- March 1957
-
- Article
- Export citation
W. L. Parker and B. A. Bernstein. On uniquely solvable Boolean equations. University of California publications in mathematics, n.s. vol. 3 no. 1 (1955), pp. 1–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- March 1957
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1957
-
- Article
- Export citation
Klaus Härtig. Die “identischen Urteile” der Syllogistik. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 28–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
- Print publication:
- March 1957
-
- Article
- Export citation
John Myhill. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 97–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-76
- Print publication:
- March 1957
-
- Article
- Export citation
Decidability and essential undecidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-54
- Print publication:
- March 1957
-
- Article
- Export citation
JSL volume 22 issue 1 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- March 1957
-
- Article
-
- You have access
- Export citation
Sur la structuration du tableau des connectifs interpropositionnels binaires
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-18
- Print publication:
- March 1957
-
- Article
- Export citation
A. N. Prior. Modality and quantification in S5. The journal of symbolic logic, vol. 21 (1956), pp. 60–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1957
-
- Article
- Export citation
Charles Morris. Signs, language, and behavior. George Braziller, Inc., New York1955, xii + 365 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1957
-
- Article
- Export citation
A. C. Lloyd. The logical form of law statements. Mind, n.s. vol. 64 (1955), pp 312–318.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
- Print publication:
- March 1957
-
- Article
- Export citation
A. A. Markov. Téoriá algorifmov (Theory of algorithms). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 42. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1954, 375 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-79
- Print publication:
- March 1957
-
- Article
- Export citation
H. B. Curry. Remarks on the definition and nature of mathematics. Dialectica, vol. 8 (1954), pp. 228–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-86
- Print publication:
- March 1957
-
- Article
- Export citation
A generalization of the concept of ω-completeness1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
- Print publication:
- March 1957
-
- Article
- Export citation