13629 results in The Journal of Symbolic Logic
Borel sets and Ramsey's theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-198
- Print publication:
- June 1973
-
- Article
- Export citation
John E. Hopcroft and Jeffrey D. Ullman. Relations between time and tape complexities. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 414–427.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1973
-
- Article
- Export citation
Alan Ross Anderson, Nuel D. BelnapJr., and John R. Wallace. Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathemutische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 93–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
- Print publication:
- June 1973
-
- Article
- Export citation
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 (1966), pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 (1968), pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 (1970), pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 (1971), pp. 757–758.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
- Print publication:
- June 1973
-
- Article
- Export citation
Hugo Bedau and Paul Oppenheim. Complementarity in quantum mechanics: A logical analysis. Synthese, vol. 13 (1961), pp. 201–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- June 1973
-
- Article
- Export citation
John Myhill. Elementary properties of the group of isolic integers. Mathematische Zeitschrift, vol. 78 (1962), pp. 126–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1973
-
- Article
- Export citation
Minimal degrees and the jump operator1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-271
- Print publication:
- June 1973
-
- Article
- Export citation
John R. Searle. Proper names. Mind, n.s. vol. 67 (1958), pp. 166–173. Reprinted in Philosophy and ordinary language, edited by Charles E. Caton, University of Illinois Press, Urbana 1963, pp. 154–161; also in Philosophical logic, edited by P. F. Strawson, Oxford University Press, London 1967, pp. 89–96. - Michael McKinsey. Searle on proper names. The philosophical review, vol. 80 (1971), pp. 220–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-324
- Print publication:
- June 1973
-
- Article
- Export citation
J. W. Addison and Yiannis N. Moschovakis. Some consequences of the axiom of definable determinateness. Proceedings of the National Academy of Sciences, vol. 59 (1968), pp. 708–712. - Donald A. Martin. The axiom of determinateness and reduction principles in the analytical hierarchy. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 687–689.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- June 1973
-
- Article
- Export citation
Recursive elements and constructive extensions of computable local integral domains
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-290
- Print publication:
- June 1973
-
- Article
- Export citation
David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- June 1973
-
- Article
- Export citation
V. A. Ánkov. O finitnoj obšéeznačimosti formul spécial′nogo vida. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 302–304. - V. A. Jankov. Finite validity of formulas of a special form. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 8 no. 3 (1967), pp. 648–650.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
- Print publication:
- June 1973
-
- Article
- Export citation
Jean Drabbe. Les S4-algèbres finies. Comptes rendus hehdomadaires des séances de l'Académic des Sciences, sér. A vol. 265 (1967), p. 309.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1973
-
- Article
- Export citation
Henry Veatch. The significance of current criticisms of the syllogism. The Thomist, vol. 15 (1952), pp. 624–641.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 324
- Print publication:
- June 1973
-
- Article
- Export citation
Nicholas Rescher. Temporal modalities in Arabic logic. Foundations of language, Supplementary series, vol. 2. D. Reidel Publishing Company, Dordrecht, Holland, 1967, ix + 50 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
- Print publication:
- June 1973
-
- Article
- Export citation
JSL volume 38 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- June 1973
-
- Article
-
- You have access
- Export citation
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 (for 1970, pub. 1971), pp. 336–346.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1973
-
- Article
- Export citation
An application of Σ40 determinacy to the degrees of unsolvability
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- June 1973
-
- Article
- Export citation
Ian Hacking. A concise introduction to logic. Random House, New York and Toronto1972, VIII + 339 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1973
-
- Article
- Export citation
S. I. Adjan. Defining relations and algorithmic problems for groups and semigroups. English translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, no. 85 (for 1966, pub. 1967), American Mathematical Society, Providence1967, iii + 152 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
- Print publication:
- June 1973
-
- Article
- Export citation