13629 results in The Journal of Symbolic Logic
Daniel Lacombe. Les idées actuelles sur la structure des mathématiques. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 39–96. - Roger Apéry, Maurice Fréchet, Daniel Lacombe, André Lalande, Jean Porte, Jean Ullmo. Discussion. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 97–133. - Maurice Fréchet. Note. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 133–135. - Daniel Lacombe. Exposé complémentaire sur le théorème de Gödei. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp 135–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
- Print publication:
- September 1959
-
- Article
- Export citation
John G. Kemeny, Hazleton Mirkill, J. Laurie Snell, and Gerald L. Thompson. Finite mathematical structures. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1959, xiv + 487 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
- Print publication:
- September 1959
-
- Article
- Export citation
I. M. Bocheński. Grundriss der Logistik. German translation of Bocheński's XV 199; translation, revision, and additions by Albert Menne. Ferdinand Schöningh, Paderborn1954, 124 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
- Print publication:
- September 1959
-
- Article
- Export citation
Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
- Print publication:
- September 1959
-
- Article
- Export citation
Gustav Bergmann. Intentionality. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 177–216. - Gustav Bergmann. LĽintenzionalità. Italian translation of the preceding by V. Somenzi and A. Caracciolo di Forino. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 217–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- September 1959
-
- Article
- Export citation
Toshio Umezawa. On intermediate many-valued logics. Journal of the Mathematical Society of Japan, Bd. 11 Heft 2 (1959), S. 116–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- September 1959
-
- Article
- Export citation
Antoni Korcik. Pojȩcie wywodu inferencyjnego u Bernarda Bolzana. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), pp. 17–26. - A. Korcik. B. Bolzano's notion of inference. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), p. 225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-215
- Print publication:
- September 1959
-
- Article
- Export citation
Max H. Fisch and Daniel C. Haskell. Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 375–381.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 211-212
- Print publication:
- September 1959
-
- Article
- Export citation
R. S. Pierce. Distributivity and the normal completion of Boolean algebras. Pacific journal of mathematics, vol. 8 (1958), pp. 133–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- September 1959
-
- Article
- Export citation
Extendible sentential calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-202
- Print publication:
- September 1959
-
- Article
- Export citation
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 55–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- September 1959
-
- Article
- Export citation
JSL volume 24 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1959
-
- Article
-
- You have access
- Export citation
Arthur Pap. Necessary propositions and linguistic rules. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 63–105. - Arthur Pap. Proposizioni necessarie e regole linguistiche. Italian translation of the preceding by A. Gianquinto. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 107–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
- Print publication:
- June 1959
-
- Article
- Export citation
László Kalmár. A matematika alapjaival kapcsolatos újabb eredmények (Recent results concerning the foundations of mathematics). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 2 (1952), pp. 89–103. - Alfréd Rényi, György Alexits, János Aczél. Hozzászólások Kalmár László előadásához (Remarks concerning the lecture of László Kalmár). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, pp. 104–108. - László Kalmár. Kalmár László válasza (László Kalmár's reply). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, pp. 108–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
- Print publication:
- June 1959
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-192
- Print publication:
- June 1959
-
- Article
- Export citation
G. C. Moisil. Sur la théorie algébrique des mécanismes automatiques: Synthèse des schemas à relais polarisés. Aktuelle Probleme der Rechentechnik, Deutscher Verlag der Wissenschaften, Berlin1957, pp. 51–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- June 1959
-
- Article
- Export citation
Gustav Bergmann. Logical atomism, elementarism, and the analysis of value. Philosophical studies (Minneapolis), vol. 2 (1951), pp. 85–92. Reprinted in The metaphysics of logical positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, pp. 243–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
- Print publication:
- June 1959
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical representation of recursively enumerable sets. The journal of symbolic logic, vol. 21 (1956), pp. 162–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
- Print publication:
- June 1959
-
- Article
- Export citation
Reviews - Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. VIII–IX. - Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 3–35. - Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 39–74. - Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 77–87. - Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 89–91. - Index. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 93–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-169
- Print publication:
- June 1959
-
- Article
- Export citation
G. Hasenjaeger. On definability and derivability. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 15–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
- Print publication:
- June 1959
-
- Article
- Export citation