13629 results in The Journal of Symbolic Logic
Miguel Sánchez-Mazas. Notas preliminares para la fundamentación de una Lógica matemática comprehensiva (I). Theoria (Madrid), vol. 1 no. 1 (1952), pp. 25–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- March 1956
-
- Article
- Export citation
Miguel Sánchez-Mazas. La teoría del silogismo desarrollada en forma de álgebra. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 95–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- March 1956
-
- Article
- Export citation
A. Janiczak. Some remarks on partially recursive functions. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Ebd., S. 37–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- March 1956
-
- Article
- Export citation
A. Janiczak. On the reducibility of decision problems. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Colloquium mathematicum, Bd. 3 Heft 1 (1954), S. 33–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1956
-
- Article
- Export citation
Zyoiti Suetuna. Sûgaku ni oite zentai to yû koto ni tuite (On the notion of totality in mathematics). Kagaku kiso ron kenkyû (Tokyo), vol. 1 no. 1 (1954), pp. 4–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- March 1956
-
- Article
- Export citation
P. Février-Destouches. Applications des logiques modales en physique quantique. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 167–169.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1956
-
- Article
- Export citation
R. M. Martin. On truth and multiple denotation. The journal of symbolic logic, vol. 18 (1953), pp. 11–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-90
- Print publication:
- March 1956
-
- Article
- Export citation
Juliusz Reichbach. Über den auf Alternative und Negation aufgebauten Aussagenkalkül. Deutsch, mit Auszügen in Polnisch und Russisch. Studia logica (Warschau), Bd. 1 (1953), S. 13–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
- Print publication:
- March 1956
-
- Article
- Export citation
J. C. E. Dekker. Productive sets. Transactions of the American Mathematical Society, vol. 78 (1955), pp. 129–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
- Print publication:
- March 1956
-
- Article
- Export citation
Karl Dürr. Lehrbuch der Logistik. Verlag Birkhäuser, Basel-Stuttgart1954, VIII + 181 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
- Print publication:
- March 1956
-
- Article
- Export citation
Miguel Sánchez-Mazas. Las recientes investigaciones de historia de la Lógica antigua: La escuela de Łukasiewicz. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 177–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1956
-
- Article
- Export citation
A new approach to semantics – Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-27
- Print publication:
- March 1956
-
- Article
- Export citation
Th. Skolem. Some considerations concerning recursive functions. Mathematica Scandinavica, vol. 1 (1953), pp. 213–221.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1956
-
- Article
- Export citation
Willard V. Quine. Notes on existence and necessity. A reprint of VIII 45. Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 77–91. - Bertrand Russell. Descriptions. A reprint of Chapter XVI of 11126. Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 95–108. - Benson Mates. Synonymity. A reprint of XIX 223(1). Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 111–136. - Paul Marhenke. The criterion of significance. Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 139–159. (Reprinted from Proceedings and addresses of The American Philosophical Association, vol. 23 (1950).)
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
- Print publication:
- March 1956
-
- Article
- Export citation
Formal systems of constructive mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-75
- Print publication:
- March 1956
-
- Article
- Export citation
Franz von Krbek. Wohlordnung. Acta mathematica, vol. 93 (1955), pp. 313–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- March 1956
-
- Article
- Export citation
S. Korner. Truth as a predicate. Analysis (Oxford), vol. 15 no. 5 (1955), pp. 106–109.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
- Print publication:
- March 1956
-
- Article
- Export citation
JSL volume 20 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 4 / December 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1955
-
- Article
-
- You have access
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 3 / September 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-318
- Print publication:
- September 1955
-
- Article
- Export citation
A. M. MacIver. Some questions about ‘know’ and ‘think.’ A reprint of III 158(2). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 88–96. - Austin Duncan-Jones. Further questions about ‘know’ and ‘think.’ A reprint of IV 37(9). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 96–106. - A. M. MacIver. Reply to Mr. Duncan-Jones. A reprint of IV 37(11). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 106–108. - Max Black. Saying and disbelieving. Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 109–119. (Reprinted from Analysis, vol. 13 no. 2 (1952), pp. 25–33.) - J. O. Urmson. Two of the senses of ‘probable.’ A reprint of XIII 176(13). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 191–199. - C. H. Whiteley. More about probability. A reprint of XIII 176(15). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 199–204. - Stuart Hampshire. Subjunctive conditionals. A reprint of XIV 203(2). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 204–210. - David Pears. Hypotheticals. A reprint of XV 215(3). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 210–226. - William Kneale. Natural laws and contrary-to-fact conditionals. A reprint of XVI 64(1). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 226–231. - C. Lewy. Truth and significance. A reprint of XIII 125(3). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 242–245. - Max Black. The semantic definition of truth. A reprint of XIII 150. Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 245–260.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 3 / September 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
- Print publication:
- September 1955
-
- Article
- Export citation