13629 results in The Journal of Symbolic Logic
Antoni Korcik. Weryfikacja sylogistyki Arystotelesa metodą Gergonne'a. Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), pp. 5–15. - A. Korcik. Verification of Aristotle's theory of syllogism by means of Gergonne's method. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), p. 225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- March 1959
-
- Article
- Export citation
JSL volume 24 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1959
-
- Article
-
- You have access
- Export citation
Paul Lorenzen. Über die Syllogismen als Relationenmultiplikationen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 (1957), S. 112–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
- Print publication:
- March 1959
-
- Article
- Export citation
Charles W. Morris. Fundamentos de la teoria de los signos. Translated by Obdulia Alvarez, Marta Santi and Irma Zangara, revised by Mario Bunge. Suplementos del Seminario de Problemas Científicos y Filosóficos, ser. 2 no. 12. Universidad Nacional de México, Mexico City1958, pp. 31–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
- Print publication:
- March 1959
-
- Article
- Export citation
Robert L. Vaught. Applications of the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 467–472; also Indagationes mathematicae, vol. 16 (1954), pp. 467–472.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1959
-
- Article
- Export citation
Makoto Itoh. Ippan isô-Boole-soku ni tuite (On the general topological Boolean lattice). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 29 no. 4 (1957), pp. 261–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
- Print publication:
- March 1959
-
- Article
- Export citation
Makoto Itoh. Sequential switch kairo no kihon hôteisiki (Fundamental equation for sequential switching circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 30 no. 3 (1957), pp. 225–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- March 1959
-
- Article
- Export citation
Setsuya Seki. Kisoron (Foundations of mathematics). Oyama-Syoten, Tiyoda-Huzimityô, Tokyo1955, 71 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
- Print publication:
- March 1959
-
- Article
- Export citation
Gaisi Takeuti. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 93–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1959
-
- Article
- Export citation
Á. I. Méklér. Péréhodnyé režimy v réléjno-kontaktnyh shémah (Transient process in relay-contact circuits). Avtomattka t téléméhanika, vol. 18 (1957), pp. 59–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
- Print publication:
- March 1959
-
- Article
- Export citation
Daniel Lacombe. Les ensembles récursivement ouverts ou fermés, et leurs applications à l'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1040–1043.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
- Print publication:
- March 1959
-
- Article
- Export citation
Everett W. Hall. What is value? An essay in philosophical analysis. The Humanities Press, New York1952, and Routledge & Kegan Paul, London 1952, xi + 255 pp. - Herbert Hochberg. ‘Fitting’ as a semantical predicate. Mind, n.s. vol. 65 ( 1956), pp. 530–533. - Everett W. Hall. Hochberg on what is ‘fitting’ for Ewing and Hall. Mind, n.s. vol. 67 (1958), pp. 104–106. - E. M. Adams. The nature of ought. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 36–42. - Everett W. Hall. Further words on ‘ought.’Philosophical studies (Minneapolis), vol. 7 (1956), pp. 74–78. - E. M. Adams. ‘Ought’ again. Philosophical studies (Minneapolis), vol. 8 (1957), pp. 86–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-91
- Print publication:
- March 1959
-
- Article
- Export citation
Robert L. Vaught. Remarks on universal classes of relational systems. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 57 (1954), pp. 589–591; also ibid., vol. 16 (1954), pp. 589–591.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
- Print publication:
- March 1959
-
- Article
- Export citation
Rene A. Higonnet and Rene A. Grea. Logical design of electrical circuits. McGraw-Hill Book Company, New York-Toronto-London1958, ix + 220 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
- Print publication:
- March 1959
-
- Article
- Export citation
A counterexample to a conjecture of Scott and Suppes
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-16
- Print publication:
- March 1959
-
- Article
- Export citation
A. I. Mal'cév. Podprámyé proizvédéniá modéléj (Subdirect products of models). Doklady Akadémii Nauk SSSR, vol. 109 (1956), pp. 264–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
- Print publication:
- March 1959
-
- Article
- Export citation
Takakazu Shimauti. Proof of a special case of the fundamental conjecture of Takeuti's GLC. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 135–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1959
-
- Article
- Export citation
Gene W. Arant. A time-sequential tabular analysis of flip-flop logical operation. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-6 no. 4 (1957), pp. 72–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- March 1959
-
- Article
- Export citation
Juliusz Reichbach. On the first-order functional calculus and the truncation of models. English, with Polish and Russian summaries. Studio logica, vol. 7 (1958), pp. 181–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1959
-
- Article
- Export citation
Constructive definition of certain analytic sets of numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-49
- Print publication:
- March 1959
-
- Article
- Export citation