13629 results in The Journal of Symbolic Logic
JSL volume 21 issue 1 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- March 1956
-
- Article
-
- You have access
- Export citation
G. N. Povarov. O funkcional'noj razdélimosti bulévyh funkcij (On functional decomposability of Boolean functions). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 801–803.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
- Print publication:
- March 1956
-
- Article
- Export citation
Paul Weiss. The paradox of necessary truth. Philosophical studies, vol. 6 (1955), pp. 31–32.
-
- 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
A. G. Lunc. Priložénié matričnoj buléskoj algébry k analizu i sintézu réléjno-kontaktnyh shém (The application of Boolean matrix algebra to the analysis and synthesis of relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 70 (1950), pp. 421–423.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- March 1956
-
- Article
- Export citation
L. J. Cohen and A. C. Lloyd. Assertion-statements. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 66–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
- Print publication:
- March 1956
-
- Article
- Export citation
Beryl Lake. Necessary and contingent statements. Analysis (Oxford), vol. 12 no. 5 (1952), pp. 115–122. - Peter G. Winch. Necessary and contingent truths. Analysis (Oxford), vol. 13 no. 3 (1953), pp. 52–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1956
-
- Article
- Export citation
Note on a problem of L. Henkin
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-35
- Print publication:
- March 1956
-
- Article
- Export citation
Paul Bernays. Logique et science. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1956
-
- Article
- Export citation
A. Heyting. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese, vol. 9, issue 2 no. 2 (1954), pp. 91–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1956
-
- Article
- Export citation
Günter Asser. Die endlichwertigen Łuhasiewiczschen Aussagenkalküle. Bericht über die Mathematiker—Tagung in Berlin vom 14. bis 18. Januar 1953, Deutscher Verlag der Wissenschaften, Berlin1953, pp. 15–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
Modality and quantification in S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-62
- Print publication:
- March 1956
-
- Article
- Export citation
P. G. J. Vredenduin. The logic of negationless mathematics. Compositio mathematica, vol. 11 no. 3 (1954), pp. 204–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
- Print publication:
- March 1956
-
- Article
- Export citation
Nineteenth Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-112
- Print publication:
- March 1956
-
- Article
- Export citation
Franz E. Hohn and L. Robert Schissler. Boolean matrices and the design of combinational relay switching circuits. The Bell System technical journal, vol. 34 (1955), pp. 177–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- March 1956
-
- Article
- Export citation
Solution of a problem of Tarski
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-51
- Print publication:
- March 1956
-
- Article
- Export citation
J. C. E. Dekker. A theorem on hypersimple sets. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 791–796.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- March 1956
-
- Article
- Export citation
On the axiom of extensionality – Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-48
- Print publication:
- March 1956
-
- Article
- Export citation
Kiyoshi Itô. Sûgaku no kiso to siteno syûgôron (Set theory as foundation of mathematics). Kagaku kiso ron kenkyû (Tokyo), vol. 1 no. 1 (1954), pp. 8–12.
-
- 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
Friedrich Waismann. Analytic—synthetic. Analysis (Oxford), vol. 10 (1949–1950), pp. 25–40, and vol. 11 (1950–1), pp. 25–38, 49–61, 115–124, and vol. 13 (1952–3), pp. 1–14, 73–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
- Print publication:
- March 1956
-
- Article
- Export citation
Antonio Millan Puelles. Sobre el concepto de existencia en matemáticas. Theoria (Madrid), vol. 1 no. 2 (1952), p. 59. - Miguel Sánchez-Mazas. Los juicios de la Matemática y el modo de existencia de sus objetos. Theoria (Madrid), vol. 1 no. 2 (1952), pp. 60–70.
-
- 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