13629 results in The Journal of Symbolic Logic
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-232
- Print publication:
- June 1975
-
- Article
- Export citation
Yoemon Sampei. On the complete basis for the sets. Commentarii mathematici Universitatis Sancti Pauli, vol. 13 (1965), pp. 81–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
- Print publication:
- June 1975
-
- Article
- Export citation
Natural models and Ackermann-type set theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-158
- Print publication:
- June 1975
-
- Article
- Export citation
Nicholas Rescher and Alasdair Urquhart. Temporal logic. Library of exact philosophy, vol. 3. Springer-Verlag, Vienna and New York1971, XVIII + 273 pp. - Nicholas Rescher and Alasdair Urquhart. Bibliography of temporal logic. Therein, pp. 259–267. - Nicholas Rescher and James Garson. Topological logic. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 537–548. A slightly revised version reprinted in Topics in philosophical logic, by Nicholas Rescher, D. Reidel Publishing Company, Dordrecht, Holland, 1968, and Humanities Press, New York, 1969, pp. 229–244. - Nicholas Rescher and John Robison. Temporally conditioned descriptions. Ratio (Oxford), vol. 8 (1966), pp. 46–54. - Nicholas Rescher and John Robison. Zeitlich bedingte Kennzeichnungen. German translation of the preceding. Ratio (Frankfurt a.M.), vol. 8 (1966), pp. 40–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
- Print publication:
- June 1975
-
- Article
- Export citation
Donald M. Kaplan. Some completeness results in the mathematical theory of computation. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 124–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
- Print publication:
- June 1975
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York, 1974
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-304
- Print publication:
- June 1975
-
- Article
- Export citation
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-196
- Print publication:
- June 1975
-
- Article
- Export citation
A survey of partial degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-140
- Print publication:
- June 1975
-
- Article
- Export citation
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- June 1975
-
- Article
- Export citation
One hundred and two problems in mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-129
- Print publication:
- June 1975
-
- Article
- Export citation
J. W. de Barker. Recursive procedures. Mathematical Centre tracts, no. 24, Mathematisch Centrum, Amsterdam1971, viii + 108 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
- Print publication:
- March 1975
-
- Article
- Export citation
A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1975
-
- Article
- Export citation
Howard DeLong. A profile of mathematical logic. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1970, xiv + 304 pp. - Lewis Carroll. A logical paradox. A reprint of 672. Appendix A. Therein, pp. 230–232. - Lewis Carroll. What the tortoise said to Achilles. A reprint of 673. Appendix B. Therein, pp. 233–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
- Print publication:
- March 1975
-
- Article
- Export citation
A large power set axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-54
- Print publication:
- March 1975
-
- Article
- Export citation
JSL volume 40 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1975
-
- Article
-
- You have access
- Export citation
S. B. Cooper. Degrees of unsolvability complementary between recursively enumerable degrees, Part I. Annals of mathematical logic, vol. 4 no. 1 (1972), pp. 31–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
- Print publication:
- March 1975
-
- Article
- Export citation
V. B. Kudrávcév. O pokrytiáh prédpolnyh klassov k-značnoj logiki (On covers for precomplete classes in k-valued logic). Diskrétnyj analiz, no. 17 (1970), pp. 32–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1975
-
- Article
- Export citation
Gottfried Martin. Existenz und Widerspruchsfreiheit in der Logik von Leibniz. Kant-Studien, vol. 48 (1956–1957), pp. 202–215.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- March 1975
-
- Article
- Export citation
A counterexample in the theory of model companions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-34
- Print publication:
- March 1975
-
- Article
- Export citation
A. N. Prior. Recent advances in tense logic. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 1–15. (Reprinted from The monist, vol. 53 (1969), pp. 325–339.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1975
-
- Article
- Export citation