13629 results in The Journal of Symbolic Logic
Oiva Ketonen. Predikaattikalkyylin täydellisyydestä (Über die Vollständigkeit des Prädikatenkalküls). Ajalus (Porvoo), Bd. 10 (1941), S. 77–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- September 1942
-
- Article
- Export citation
Barkley Rosser. New sets of postulates for combinatory logics. The journal of symbolic logic, vol. 7 (1942), pp. 18–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
- Print publication:
- September 1942
-
- Article
- Export citation
J. C. C. McKinsey. A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology. The journal of symbolic logic, vol. 6 (1941), pp. 117–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
- Print publication:
- September 1942
-
- Article
- Export citation
L. P. Gokiéli. O tak nazyvaémyh “sodéržatél'nyh aksiomah” matématiĉéskoj logiki (On the so-called “content-having axioms” of mathematical logic). Soobŝĉéniá Gruzinskogo Filiala Akadémii Nauk SSSR (Mitteilungen der Georgischen Abteilung der Akademie der Wissenschaften der USSR), vol. 1 (1940), pp. 421–428, 665–672, 731–738, and Soobŝĉéniá Akadémii Nauk Gruzinskoj SSR (Mitteilungen der Akademie der Wissenschaften der Georgischen SSR), vol. 2 (1941), pp. 51–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- September 1942
-
- Article
- Export citation
Louis Rougier. The relativity of logic. Philosophy and phenomenological research, vol. 2 no. 2 (1941), pp. 137–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- September 1942
-
- Article
- Export citation
W. V. Quine. Element and number. The journal of symbolic logic, vol. 6 (1941), pp. 135–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- September 1942
-
- Article
- Export citation
J. Findlay. Goedelian sentences: a non-numerical approach. Mind, n.s. vol. 51 (1942), pp. 259–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
- Print publication:
- September 1942
-
- Article
- Export citation
Garrett Birkhoff. An extended arithmetic. Duke mathematical journal, vol. 3 (1937), pp. 311–316. - Garrett Birkhoff. Generalized arithmetic. Duke mathematical journal, vol. 9 (1942), pp. 283–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- September 1942
-
- Article
- Export citation
W. D. Ross. Some thoughts on Aristotle's logic. Proceedings of the Aristotelian Society, vol. 40 (1939–1940), pp. i-xviii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- September 1942
-
- Article
- Export citation
William Hester. The logical destiny of data. Philosophy of science, vol. 9 (1942), pp. 233–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
- Print publication:
- September 1942
-
- Article
- Export citation
P. Siro. Lauseoppi uuden logiikan valossa (Die Syntax im Lichte der neuen Logik)Virittäjä (Helsinki), 1941, S. 192–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- September 1942
-
- Article
- Export citation
- M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 (1942), pp. 34–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
- Print publication:
- September 1942
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- September 1942
-
- Article
- Export citation
Nelson Goodman. Sequences. The journal of symbolic logic, vol. 6 (1941), pp. 150–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- September 1942
-
- Article
- Export citation
A. C. Ewing. The linguistic theory of a priori propositions. Proceedings of the Aristotelian Society, pp. 207–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- September 1942
-
- Article
- Export citation
Giovanni Giorgi. Riflessioni sui fondamenti primi della teoria degli insiemi. Pontificia Accidentia Scientiarum, Acta, vol. 5 no. 6 (1941), pp. 35–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- September 1942
-
- Article
- Export citation
Barkley Rosser. The Burali-Forti paradox. The journal of symbolic logic, vol. 7 (1942), pp. 1–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
- Print publication:
- September 1942
-
- Article
- Export citation
S. Pankajam. Ideal theory in Boolean algebra and its application to deductive systems. Proceedings of the Indian Academy of Sciences, Section A, vol. 14 (1941), pp. 670–684.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
- Print publication:
- September 1942
-
- Article
- Export citation
M. H. A. Newman. On theories with a combinatorial definition of “equivalence.”Annals of mathematics, ser. 2 vol. 43 (1942), pp. 223–243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- September 1942
-
- Article
- Export citation
M. H. A. Newman and A. M. Turing. A formal theorem in Church's theory of types. The journal of symbolic logic, vol. 7 (1942), pp. 28–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 3 / September 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
- Print publication:
- September 1942
-
- Article
- Export citation