13629 results in The Journal of Symbolic Logic
A. Heyting. Intuitionism. An introduction. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 133 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-371
- Print publication:
- December 1956
-
- Article
- Export citation
Alternative postulate sets for Lewis's S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-349
- Print publication:
- December 1956
-
- Article
- Export citation
Hans Reichenbach. The rise of scientific philosophy. University of California Press, Berkeley and Los Angeles1956, xi + 333 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
- Print publication:
- December 1956
-
- Article
- Export citation
François Moch. On peut éviter les antinomies classiques sans restreindre la notion d'ensemble. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 242 (1956), pp. 1402–1404.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 322
- Print publication:
- September 1956
-
- Article
- Export citation
Henryk Greniewski, Krystyn Bochenek, and Romuald Marczyński. Application of bi-elemental Boolean algebra to electronic circuits. English, with summaries in Polish and Russian. Studia logica (Warsaw), vol. 2 (1955), pp. 7–76. See Errata, Studia logica (Warsaw), vol. 2 (1955), p. 329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- September 1956
-
- Article
- Export citation
Identity, variables, and impredicative definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-245
- Print publication:
- September 1956
-
- Article
- Export citation
Unification of universes in set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-279
- Print publication:
- September 1956
-
- Article
- Export citation
Herbert A. Simon. On the definition of the causal relation. The journal of philosophy, vol. 49 (1952), pp. 517–528. - Herbert A. Simon. Causal ordering and identifiability. Cowles Commission monograph no. 14, John Wiley & Sons, New York1953, pp. 49–74. - Herbert A. Simon. Spurious correlation: A causal interpretation. Journal of the American Statistical Association, vol. 49 (1954), pp. 467–479. - Nicholas Rescher. Some remarks on an analysis of the causal relation. The journal of philosophy, vol. 51 (1954), pp. 239–241. - Herbert A. Simon. Further remarks on the causal relation. The journal of philosophy, vol. 52 (1955), pp. 20–21.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
- Print publication:
- September 1956
-
- Article
- Export citation
Rózsa Péter. Das Spiel mit dent Unendlichen. Mathematik für Auβenstehende. B. G. Teubner Verlagsgesellschaft, Leipzig1955, VIII + 278 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-311
- Print publication:
- September 1956
-
- Article
- Export citation
Ivo Thomas. A new decision procedure for Aristotle's syllogistic. Mind, nouvelle série t. 61 (1952), p. 564–566.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 315
- Print publication:
- September 1956
-
- Article
- Export citation
Heinrich Scholz. Der klassische und der moderne Begriff einer mathematischen Theorie. Mathematisch-physikalische Semesterberichte zur Pflege des Zusammenhangs von Schule und Universität (Göttingen), vol. 3 (1953), pp. 30–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 310
- Print publication:
- September 1956
-
- Article
- Export citation
F. J. Murray. Mechanisms, and robots. Journal of the Association for Computing Machinery, vol. 2 (1955), pp. 61–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- September 1956
-
- Article
- Export citation
G. N. Povarov. Matématičskaá téoriá sintéza kontaktnyh (1, k)-polúsnikov (Mathematical theory of the synthesis of (1, k)-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 100 (1955), pp. 909–912.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- September 1956
-
- Article
- Export citation
Ú. T. Médvédév. Stépéni trudnosti massovyh problém (Degrees of difficulty of mass problems). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 501–504.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
- Print publication:
- September 1956
-
- Article
- Export citation
Béla Fogarasi. Logik. Translated by Samuel Szemere. Aufbau-Verlag, Berlin1955, 423 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
- Print publication:
- September 1956
-
- Article
- Export citation
B. A. Trahténbrot. Sintéz bézpovtornyh shém (The synthesis of schemata without repetitions). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 973–976.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- September 1956
-
- Article
- Export citation
Naoto Yonemitsu. A decision method and a topological interpretation for systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 (1954), pp. 6–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
- Print publication:
- September 1956
-
- Article
- Export citation
On ω-consistency and related properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-252
- Print publication:
- September 1956
-
- Article
- Export citation
Luitgard Wundheiler and Alex Wundheiler. Some logical concepts for syntax. Machine translation of languages, Fourteen essays, edited by William N. Locke and A. Donald Booth, John Wiley & Sons, New York1955 (co-published with The Technology Press), pp. 194–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-313
- Print publication:
- September 1956
-
- Article
- Export citation
Arthur W. Burks, Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright. The folded tree. Journal of the Franklin Institute, vol. 260 (1955), pp. 9–24, 115–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- September 1956
-
- Article
- Export citation