13629 results in The Journal of Symbolic Logic
Erwin Koschmieder. Aus den Beziehungen von Sprache und Logik, Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 79–91.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- December 1953
-
- Article
- Export citation
A logical measure function1
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-308
- Print publication:
- December 1953
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 230–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- December 1953
-
- Article
- Export citation
Henry Babcock Veatch. Intentional logic. A logic based on philosophical realism. Yale University Press, New Haven1952, xxi + 440 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- December 1953
-
- Article
- Export citation
Albert Menne. Zur Stufenkoppelung monadischer bivalenter Funktoren. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 92–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- December 1953
-
- Article
- Export citation
Oskar Anderson. Zur Axiomatik der Wahrscheinlichkeitslehre. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 4–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- December 1953
-
- Article
- Export citation
Philotheus Boehner. Medieval logic. An outline of its development from 1250 to c. 1400. The University of Chicago Press, Chicago1952, xvii + 130 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
- Print publication:
- December 1953
-
- Article
- Export citation
JSL volume 18 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b4
- Print publication:
- December 1953
-
- Article
-
- You have access
- Export citation
A. A. Markov. O nérazréšmyh algorifmičéskih problémah (On unsolvable algorithmic problems). Matématičéskij sbornik, n.s. vol. 31 (1952), pp. 34–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- December 1953
-
- Article
- Export citation
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others (Staff of the Computation Laboratory of Harvard University). Synthesis of electronic computing and control circuits. The annals of the Computation Laboratory of Harvard University, vol. 27. Lithographed. Harvard University Press, Cambridge, Mass., 1951. Second printing, revised, 1952, ix + 278 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- December 1953
-
- Article
- Export citation
A. C. Lloyd. On arguments for real universals. Analysis (Oxford), vol. 11 (1950–1951), pp. 102–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
- Print publication:
- December 1953
-
- Article
- Export citation
Alexander Wilhelmy. Traditionelle Logik und positiver Aussagenkalkül. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 114–119.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- December 1953
-
- Article
- Export citation
Oskar Becker. Untersuchungen über den Modalkalkül. Westkulturverlag Anton Hain, Meisenheim am Glan1952, 87 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-329
- Print publication:
- December 1953
-
- Article
- Export citation
Theodore A. Kalin. Formal logic and switching circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 251–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- December 1953
-
- Article
- Export citation
Hasso Härlen. Elementares über 2-wertige Funktionen von 2-wertigen Variabeln. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 51–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- December 1953
-
- Article
- Export citation
Problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- December 1953
-
- Article
- Export citation
Robert E. Staehler. An application of Boolean algebra to switching circuit design. The Bell System technical journal, vol. 31 (1952), pp. 280–305.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
- Print publication:
- December 1953
-
- Article
- Export citation
Alan Rose. Sur un ensemble de fonctions primitives pour le calcul des prédicats du premier ordre lequel constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 234 (1952), pp. 1830–1831.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- December 1953
-
- Article
- Export citation
Johannes Bendiek. Die Lehre von den Konsequenzen bei Pseudo-Scotus. Franziskanische Studien, vol. 34 (1952), pp. 205–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- December 1953
-
- Article
- Export citation
Eberhard Fels. Ordnungsrelationen in einer subjektiven Werttheorie. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 38–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
- Print publication:
- December 1953
-
- Article
- Export citation