13629 results in The Journal of Symbolic Logic
David Miller. A paradox of information. The British journal for the philosophy of science, vol. 17 no. 1 (1966), pp. 59–61. - Karl R. Popper. A comment on Miller's new paradox of information. The British journal for the philosophy of science, vol. 17 no. 1 (1966), pp. 61–69. - Karl R. Popper. A paradox of zero information. The British journal for the philosophy of science, vol. 17 no. 2, pp. 141–143. - J. L. Mackie. Miller's so-called paradox of information. The British journal for the philosophy of science, vol. 17 no. 2, pp. 144–147. - David Miller. On a so-called so-called paradox: a reply to Professor J. L. Mackie. The British journal for the philosophy of science, vol. 17 no. 2, pp. 147–149. - Jeffrey Bub and Michael Radner. Miller's paradox of information. The British journal for the philosophy of science, vol. 19 no. 1 (1968), pp. 63–67. - David Miller. The straight and narrow rule of induction: a reply to Dr Bub and Mr Radner. The British journal for the philosophy of science, vol. 19 no. 2, pp. 145–151. - William W. Rozeboom. New mysteries for old: the transfiguration of Miller's paradox. The British journal for the philosophy of science, vol. 19 no. 4, pp. 345–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-127
- Print publication:
- March 1970
-
- Article
- Export citation
Robert W. Robinson. Simplicity of recursively enumerable sets. The journal of symbolic logic, vol. 32 (1967), pp. 162–172. - Robert W. Robinson. Two theorems on hyperhypersimple sets. Transactions of the American Mathematical Society, vol. 128 (1967), pp. 531–538. - A. H. Lachlan. On the lattice of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 130 (1968), pp. 1–37. - A. H. Lachlan. The elementary theory of recursively enumerable sets. Duke mathematical journal, vol. 35 (1968), pp. 123–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-155
- Print publication:
- March 1970
-
- Article
- Export citation
JSL volume 35 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b7
- Print publication:
- March 1970
-
- Article
-
- You have access
- Export citation
Henry E. KyburgJr. , Demonstrative induction. Philosophy and phenomenological research, vol. 21 no. 1 (1960), pp. 80–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- March 1970
-
- Article
- Export citation
J. F. Staal. Some semantic relations between sentoids. Foundations of language, vol. 3 (1967), pp. 66–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
- Print publication:
- March 1970
-
- Article
- Export citation
Tense logic for discrete future time
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-118
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. Note on the effective choice of a point in the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 91–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1970
-
- Article
- Export citation
Alan Rose. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 289–292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 10 (1962), pp. 57–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1970
-
- Article
- Export citation
Alan Rose. Formalisation du calcul propositionnel implicatif à ℵ0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 (1956), pp. 1183–1185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
- Print publication:
- March 1970
-
- Article
- Export citation
Symposia Information Center
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
- Print publication:
- March 1970
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1970
-
- Article
- Export citation
D. Makinson. On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 379–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- March 1970
-
- Article
- Export citation
Haig Khatchadourian. Frege on concepts. Theoria (Lund), vol. 22 (1956), pp. 85–100.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- March 1970
-
- Article
- Export citation
Martin Davis, Hilary Putnam, and Julia Robinson. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
- Print publication:
- March 1970
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-178
- Print publication:
- March 1970
-
- Article
- Export citation
Gerhard Gentzen. Investigations into logical deduction. English translation of 4422 by M. E. Szabo. American philosophical quarterly, vol. 1 (1964), pp. 288–306, and vol. 2 (1965), pp. 204–218. - Paul Bernays. Introduction. Therein, vol. 1, p. 288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-145
- Print publication:
- March 1970
-
- Article
- Export citation
T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
- Print publication:
- March 1970
-
- Article
- Export citation
Bases and α-dimensions of countable vector spaces with recursive operations 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-96
- Print publication:
- March 1970
-
- Article
- Export citation