13629 results in The Journal of Symbolic Logic
New sets of postulates for combinatory logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 18-27
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Alfred Tarski. On the calculus of relations. The journal of symbolic logic, vol. 6 (1941), pp. 73–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 38
- Print publication:
- 24 March 1942
-
- Article
- Export citation
A formal theorem in Church's theory of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 28-33
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Seventh Meeting of the association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 47
- Print publication:
- 24 March 1942
-
- Article
- Export citation
S. Pankajam. On the formal structure of the propositional calculus I. The journal of the Indian Mathematical Society, n. s. vol. 5 (1941), pp. 49–61.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 39
- Print publication:
- 24 March 1942
-
- Article
- Export citation
A correction to the sentential calculus of Tarski's Introduction To Logic.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 34
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Eino Kaila. Inhimillinen tieto, mitä se on ja mitä se ei ole (Human knowledge, what it is and what it is not). Otava, Helsingfors1939, 271 pp. - Eino Kaila. Den mänskliga kunskapen, vad den är och vad den icke är. Swedish translation of the preceding by G. H. von Wright. Söderström & Co., Helsingfors1939, 312 pp. [Previously listed as V 131 (4).]
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-44
- Print publication:
- 24 March 1942
-
- Article
- Export citation
JSL volume 7 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- 24 March 1942
-
- Article
-
- You have access
- Export citation
Beppo Levi. La noción de “dominio deductivo” como elemento de orientación en las cuestiones de fundamentos de las teorias matemálicas. Publicaciones del Instituto de Matemática (Rosario, Argentina), vol. 2 (1940), no. 9, pp. 177–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-45
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Klaus V. Vartiovaara. Logiikka ja etiikka (Logic and ethics). Ajatus (Porvoo), vol. 10 (1941), pp. 285–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 43
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Okrin FrinkJr. Representations of Boolean algebras. Bulletin of the American Mathematical Society, vol. 47 (1941), pp. 755–756.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 39
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Abstracts of papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-48
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Ray H. Dotterer. A generalization of the antilogism. The journal of symbolic logic, vol. 6 (1941), pp. 90–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-39
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Haskell B. Curry. A formalization of recursive arithmetic. American journal of mathematics, vol. 63 (1941), pp. 263–282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 42
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Janina Lindenbaum Hosiasson. Induction et analogie: Comparaison de leur fondement. Mind, n. s. vol. 50 (1941), pp. 351–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-41
- Print publication:
- 24 March 1942
-
- Article
- Export citation
John J. Wellmuth. Some comments on the nature of mathematical logic. The new scholasticism, vol. 16 (1942), pp. 9–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-40
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 48
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Andrew UshenkoDr. Quine's theory of truth-functions. The journal of philosophy, vol. 39 (1942), pp. 64–67. - Willard V. Quine. Reply to Professor Ushenko. The journal of philosophy, vol. 39 (1942), pp. 68–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 45
- Print publication:
- 24 March 1942
-
- Article
- Export citation
James W. Stakelum. Galen and the logic of propositions. Logicalia, no.2. Angelicum, Rome 1940, XIV + 97 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 46
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, p. 46
- Print publication:
- 24 March 1942
-
- Article
- Export citation