13629 results in The Journal of Symbolic Logic
L. Nolin. Sur l'algèbre des prédicats. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, pp. 33–37. - A. Mostowski, J. Porte, A. Tarski, J. Riguet. Interventions. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, p. 37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1959
-
- Article
- Export citation
William Craig. Linear reasoning. A new form of the Herbrand-Gentzen theorem. The journal of symbolic logic, vol. 22 (1957), pp. 250–268. - William Craig. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. The journal of symbolic logic, vol. 22 (1957), pp. 269–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- September 1959
-
- Article
- Export citation
Leonidas H. B. Hegenberg. Tabela das propriedades do símbolo ├ (“acarreta”). Anuário da Sociedade Paranaense de Matemática, vol. 4 (1957), pp. 29–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- September 1959
-
- Article
- Export citation
Alan Rose. Sur les définitions de l'implication et de la négation dans certains systèmes de logique dont les valeurs forment des treillis. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 2091–2094.
-
- 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
Thomas Eichholz. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 19–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
- Print publication:
- September 1959
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-280
- Print publication:
- September 1959
-
- Article
- Export citation
Robert Blanché. Sur la structuration du tableau des connectifs interpropositionnels binaires. The Journal of symbolic logic, vol. 22 no. 1 (1957), pp. 17–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
- Print publication:
- September 1959
-
- Article
- Export citation
John W. Carr, III. Languages, logic, learning, and computers. Computers and automation, vol. 7, April 1958, pp. 21–22, 25–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-257
- Print publication:
- September 1959
-
- Article
- Export citation
Claude Cardot. Quelques résultats sur l'application de l'algèbre de Boole à la synthèse des circuits à relais. Annales des télécommunications, vol. 7 (1952), pp. 75–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
- Print publication:
- September 1959
-
- Article
- Export citation
Israel Scheffler. Inscriptionalism and indirect quotation. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 12–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 267
- Print publication:
- September 1959
-
- Article
- Export citation
Summer Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-286
- Print publication:
- September 1959
-
- Article
- Export citation
Newton Carneiro Affonso da Costa. A natureza dos juizos matemáticos. Comunicação apresentada ao Congresso Internacional de Filosofia, realizado em São Paulo, em agôsto de 1954. Edição “Prata de Casa,” Curitiba, Estado do Paraná, Brasil, 1954, 11 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-232
- Print publication:
- September 1959
-
- Article
- Export citation
Shreeram Abhyankar. Minimal “sum of products of sums” expressions of Boolean functions. IRE transactions on electronic computers, vol. EC-7 (1958), pp. 268–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- September 1959
-
- Article
- Export citation
William C. Schutz. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York1958, xi + 267 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
- Print publication:
- September 1959
-
- Article
- Export citation
Holger Steen Sørensen. An analysis of “to be” and “to be true”: A linguist's approach to the problem. Analysis (Oxford), vol. 19 no. 6 (1959), pp. 121–131.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 262
- Print publication:
- September 1959
-
- Article
- Export citation
H. Hiż. A warning about translating axioms. The American mathematical monthly, vol. 65 (1958) pp. 613–614.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- September 1959
-
- Article
- Export citation
Antoni Korcik. O tak zwanych naczelnych prawach rozumowania i zależnościach między nimi. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York, vol. 5 no. 2 (1957–58), pp. 183–191. - A. Korcik. Les lois principales du raisonnement et les relations entre elles. French summary of the preceding. FIRO, A three-dimensional theory of interpersonal behavior. Rinehart & Company, Inc., New York vol. 5 no. 2 (1957–58), pp. 231–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
- Print publication:
- September 1959
-
- Article
- Export citation
P. T. Geach. Imperative and deontic logic. Analysis (Oxford), vol. 18 no. 3 (1958), pp. 49–56. - Hector Neri Castañeda. Imperatives and deontic logic. Analysis (Oxford), vol. 19 no. 2 (1958), pp. 42–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- September 1959
-
- Article
- Export citation
Ernst Specker. Zur Axiomatik der Mengenlehre (Fundierungs- und Auswah axiom). Zeitschrift für mathematische Logik und Grundlagen der Mathamatik, vol. 3 (1957), pp. 173–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
- Print publication:
- September 1959
-
- Article
- Export citation
V. I. Šéstakov. Pérfokartočnyj métod sintéza mnogotaktnyh réléjnyh sistém (Punched cards synthesis method of switching systems.)Avtomatika i téléméhanika, vol. 19 (1958), pp. 592–605. - V. I. Shestakov. A punched card method for synthesizing relay systems. English translation of the preceding. Automation and remote control, vol. 19 no. 6 (1959), pp. 581–592.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
- Print publication:
- September 1959
-
- Article
- Export citation