13629 results in The Journal of Symbolic Logic
Haskell B. Curry. A theory of formal deducibility. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, ix + 126 Seiten.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-58
- Print publication:
- March 1951
-
- Article
- Export citation
JSL volume 16 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1951
-
- Article
-
- You have access
- Export citation
Henry Veatch. In defense of the syllogism. The modern Schoolman, Bd. 27 (1950), S. 184–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1951
-
- Article
- Export citation
W. V. Quine. On decidability and completeness. Synthese, vol. 7 (1948–1949), pp. 441–446.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1951
-
- Article
- Export citation
Institutional contributing subscribers to the Journal
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
- Print publication:
- March 1951
-
- Article
- Export citation
A theorem about infinite-valued sentential logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-13
- Print publication:
- March 1951
-
- Article
- Export citation
Th. Skolem. De logiske paradokser og botemidlene mot dem (The logical paradoxes and the remedies for them). Norsk matematisk tidsskrift, vol. 32 (1950), pp. 2–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1951
-
- Article
- Export citation
Jan Kalicki. A test for the existence of tautologies according to many-valued truth-tables. The journal of symbolic logic, vol. 15 (1950), pp. 182–184.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1951
-
- Article
- Export citation
John R. Myhill. A reduction in the number of primitive ideas of arithmetic. The journal of symbolic logic, vol. 15 (1950), p. 130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- March 1951
-
- Article
- Export citation
Leon Henkin. Completeness in the theory of types. The journal of symbolic logic, vol. 15 (1950), S. 81–91.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
- Print publication:
- March 1951
-
- Article
- Export citation
JSL volume 16 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1951
-
- Article
-
- You have access
- Export citation
O. V. Zich. Příspěvek k theorii celých čísel a jednojednoznačného zobrazení (A contribution to the theory of whole numbers and of one-to-one transformations). Rozpravy II, Třídy České Akademie, vol. 58 no. 11 (1948), 12 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
- Print publication:
- March 1951
-
- Article
- Export citation
Jacques Riguet. Quelques propriétés des relations difonctionnelles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 230 (1950), pp. 1999–2000.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1951
-
- Article
- Export citation
Friedrich Waismann. The many-level-structure of language. Synthese, vol. 5 (1946–1947), pp. 221–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 75
- Print publication:
- March 1951
-
- Article
- Export citation
Jan Kalicki. Note on truth-tables. The journal of symbolic logic, vol. 15 (1950), pp. 174–181. See Errata, ibid., p. iv.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1951
-
- Article
- Export citation
D. Hilbert and W. Ackermann. Principles of mathematical logic. English translation of III 83(2) by Lewis M. Hammond, George G. Leckie, and F. Steinhardt. Edited and with notes by Robert E. Luce. Chelsea Publishing Company, New York1950, xii + 172 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
- Print publication:
- March 1951
-
- Article
- Export citation
D. Rynin. Remarks on M. Schlick's essay “Positivism and realism.”Synthese, vol. 7 (1948–1949), pp. 466–477. - M. Schlick. Positivism and realism. Translated by David Rynin. Synthese, vol. 7 (1948–1949), pp. 478–505. - Morris Lazerowitz. Are self-contradictory expressions meaningless?The philosophical review, vol. 58 (1949), pp. 563–584.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-69
- Print publication:
- March 1951
-
- Article
- Export citation
S. A. Ánovskaá. Osnovaniá matématiki i matématičéskaá logika (Foundations of mathematics and mathematical logic). Matématika v SSSR za tridcat′ lét 1917–1947 (Mathematics in the USSR for the thirty years 1917–1947), OGIZ, Moscow and Leningrad1948, pp. 9–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-48
- Print publication:
- March 1951
-
- Article
- Export citation
Ladislav Rieger. A note on topological representations of distributive lattices (Poznámka o topologických representacích distributivních svazů). Časopis pro péstování matematiky a fysiky, vol. 74 (1949), pp. 55–61. - Kiyoski Iseki. Une condition pour qu'un lattice soit distributif. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 230 (1950), pp. 1726–1727.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1951
-
- Article
- Export citation
Gottlob Frege, The foundations of arithmetic. A logico-mathematical enquiry into the concept of number. German with English translation by J. L. Austin. Basil Blackwell, Oxford1950; Philosophical Library, New York 1950; pages i–xii, I–XI, 1–119, and parallel pages vie–xiie, Ie–XIe, 1e–119e.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1951
-
- Article
- Export citation