13629 results in The Journal of Symbolic Logic
W. Mays and D. P. Henry. Logical machines. New light on W. Stanley Jevons. The Manchester guardian, no. 32677 (07 14, 1951), B, p. 4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1953
-
- Article
- Export citation
Max Bense. Die Philosophie. Zwischen den Beiden Kriegen, Bd. I. Suhrkamp Verlag, Frankfurt am Main1951, 470 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
- Print publication:
- March 1953
-
- Article
- Export citation
Heinrich Behmann. Das Auflösungsproblem in der Klassenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 17–29, and vol. 1 no. 2 (1951), pp. 33–51; also Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 97–109, and vol. 4 no. 2 (1951), pp. 193–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
- Print publication:
- March 1953
-
- Article
- Export citation
Colloque de logique mathématique
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- March 1953
-
- Article
- Export citation
Andrzej Grzegorczyk. Undecidability of some topological theories. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 137–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
- Print publication:
- March 1953
-
- Article
- Export citation
Richard Rudner. On Sinn as a combination of physical properties. Mind, n.s. vol. 61 (1952), pp. 82–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 89
- Print publication:
- March 1953
-
- Article
- Export citation
John Myhill. Two ways of ontology in modern logic. The review of metaphysics, vol. 5 no. 4 (1952), pp. 639–655.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
- Print publication:
- March 1953
-
- Article
- Export citation
Notice of a „colloque de logique à Bruxelles”
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
- Print publication:
- March 1953
-
- Article
- Export citation
Kurt Schütte. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 (1951), S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 (1951), S. 223–224.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
- Print publication:
- March 1953
-
- Article
- Export citation
Bjarni Jónsson and Alfred Tarski. Boolean algebras with operators. American journal of mathematics, vol. 73 (1951), pp. 891–939, and vol. 74 (1952), pp. 127–162.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- March 1953
-
- Article
- Export citation
Hao Wang. Logic of many-sorted theories. The journal of symbolic logic, Bd. 17 (1952), S. 105–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1953
-
- Article
- Export citation
JSL volume 18 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1953
-
- Article
-
- You have access
- Export citation
JSL volume 18 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1953
-
- Article
-
- You have access
- Export citation
Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-65
- Print publication:
- March 1953
-
- Article
- Export citation
On axiomatizability within a system
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 30-32
- Print publication:
- March 1953
-
- Article
- Export citation
Die philosophische Konferenz in Jena. Fruchtbare wissenschaftliche Diskussion über Probleme der formalen und mathematischen Logik und des dialektischen Materialismus. Neues Deutschland (Berlin), vol. 6 no. 276 (11. 28, 1951), Ausgabe A, p. 4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
- Print publication:
- March 1953
-
- Article
- Export citation
H. Rasiowa. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 99–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
- Print publication:
- March 1953
-
- Article
- Export citation
P. F. Strawson. On referring. Mind, n.s. vol. 59 (1950), pp. 320–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1953
-
- Article
- Export citation
Th. Skolem. Some remarks on the foundation of set theory. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 695–704.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
- Print publication:
- March 1953
-
- Article
- Export citation
Some notes on nominalism
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-29
- Print publication:
- March 1953
-
- Article
- Export citation