13629 results in The Journal of Symbolic Logic
N. A. Šanin. Nékotoryé voprosy matématičéskogo analiza υ svété konstruktivnoj logiki (Einige Fragen der Analysis im Lichte der konstruktiven Logik). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 27–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1959
-
- Article
- Export citation
Andrew H. Bachhuber. Introduction to logic. Appleton-Century-Crofts, Inc., New York1957, xiv + 332 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
- Print publication:
- March 1959
-
- Article
- Export citation
Gaisi Takeuti. A metamathematical theorem on the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 4 (1952), pp. 146–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1959
-
- Article
- Export citation
Edward F. Moore. Table of four-relay contact networks. Therein, pp. 195–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
- Print publication:
- March 1959
-
- Article
- Export citation
Walter A. Coole. Do we need a logic course for freshmen?Improving college and university teaching (Corvallis, Oregon), Winter 1959, pp. 24–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
- Print publication:
- March 1959
-
- Article
- Export citation
Makoto Itoh. Tagen-Boole-hôteisiki to kakutyô sareta Poretsky no kôsiki ni tutte (On the Boolean equation with many variables and the extended Poretsky formula). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 30 no. 3 (1957), pp. 211–213.
-
- 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
Gaisi Takeuti. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 386–394.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
- Print publication:
- March 1959
-
- Article
- Export citation
The problem of simplifying logical expressions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-19
- Print publication:
- March 1959
-
- Article
- Export citation
A completeness theorem in modal logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
- Print publication:
- March 1959
-
- Article
- Export citation
Hector Neri Castañeda. A theory of morality. Philosophy and phenomenological research, vol. 17 no. 3 (1957), pp. 339–352.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1959
-
- Article
- Export citation
Robert Blanché. Introduction à la logique contemporaine. Librairie Armand Colin, Paris1957, 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
- Print publication:
- March 1959
-
- Article
- Export citation
V. M. Ostianu. O sintézé kontaktnyh shém s šagovymi péréklúčatélámi. Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 827–830. - V. M. Ostianu. On the synthesis of switching circuits with selector switches. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 7 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
- Print publication:
- March 1959
-
- Article
- Export citation
Alice Ambrose. Linguistic approaches to philosophical problems. The journal of philosophy, vol. 49 (1952), pp. 289–301. - Roderick M. Chisholm. Comments on the “proposal theory” of philosophy. The journal of philosophy, vol. 49 (1952), pp. 301–306.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1959
-
- Article
- Export citation
Hector Neri Castañeda. A note on imperative logic. Philosophical studies (Minneapolis), vol. 6 (1955), pp. 1–4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1959
-
- Article
- Export citation
Hector Neri Castañeda. Are conditionals principles of inference?Analysis (Oxford), vol. 18 no. 4 (1958), pp. 77–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
- Print publication:
- March 1959
-
- Article
- Export citation
Hartley RogersJr., Theory of recursive functions and effective computability. Volume I. Mimeographed. Technology Store, Cambridge, Mass., 1957, pp. i–xiv, 1–15, 15a, 16–20, 20a, 21–121, 121–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
- Print publication:
- March 1959
-
- Article
- Export citation
Daniel Lacombe. Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 2478–2480, and vol. 241 (1955), pp. 13–14, 151–153. - Daniel Lacombe. Remarques sur les opérateurs récursifs et surles fonctions récursives d'une variable réelle. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 241 (1955), pp. 1250–1252.
-
- 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
Richard Montague and Donald Kalish. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 50–64, 65–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-450
- Print publication:
- December 1958
-
- Article
- Export citation
Samuel H. Caldwell. Switching circuits and logical design. John Wiley & Sons, Inc., New York1958, and Chapman & Hall Limited, London 1958, xvii + 686 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 433-434
- Print publication:
- December 1958
-
- Article
- Export citation
Jean de la Harpe. La logique de l'assertion pure. Nouvelle encyclopédie philosophique 48. Presses Universitaires de France, Paris1950, xii + 77 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-443
- Print publication:
- December 1958
-
- Article
- Export citation