13629 results in The Journal of Symbolic Logic
C. E. M. Yates. On the degrees of index sets. II. Transactions of the American Mathematical Society, vol. 135 (1969), pp. 249–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- June 1974
-
- Article
- Export citation
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 423–468.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- June 1974
-
- Article
- Export citation
Erwin Engeler. Algorithmic approximations. Journal of computer and system sciences, vol. 5 (1971), pp. 67–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
- Print publication:
- June 1974
-
- Article
- Export citation
Jon Barwise. Applications of strict predicates to infinitary logic. The journal of symbolic logic, vol. 34 (1969), pp. 409–423.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
- Print publication:
- June 1974
-
- Article
- Export citation
R. M. Hare. Freedom and reason. Clarendon Press, Oxford 1963, viii + 228 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
- Print publication:
- June 1974
-
- Article
- Export citation
Ignacio Angelelli. Introduction. Two Soviet studies on Frege, by B. V. Birjukov, translated and edited by Ignacio Angelelli, D. Reidel Publishing Company, Dordrecht, Holland, 1964, pp. VII–XVIII. - B. V. Birjukov. On Frege's works on philosophical problems of mathematics. English translation of XXXIX 366(4) by Ignacio Angelelli. D. Reidel Publishing Company, Dordrecht, Holland, 1964, pp. 1–51. - B. V. Birjukov. The theory of sense of Gottlob Frege. English translation of XXXIX 366(5) by Ignacio Angelelli. D. Reidel Publishing Company, Dordrecht, Holland, 1964, pp. 52–99
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
- Print publication:
- June 1974
-
- Article
- Export citation
Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
- Print publication:
- June 1974
-
- Article
- Export citation
John Myhill. The invalidity of Markoff's schema. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 359–360.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- June 1974
-
- Article
- Export citation
Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 356
- Print publication:
- June 1974
-
- Article
- Export citation
Kenneth Kunen. Elementary embeddings and infinitary combinatorics. The journal of symbolic logic, vol. 36, no. 3 (for 1971, pub. 1972), pp. 407–413.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
- Print publication:
- June 1974
-
- Article
- Export citation
David P. Gauthier. Hare's debtors. Mind, n.s. vol. 77 (1968), pp. 400–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
- Print publication:
- June 1974
-
- Article
- Export citation
Roger C. Lyndon. The representation of relation algebras, II. Annals of mathematics, ser. 2 vol. 63 (1956), pp. 294–307.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1974
-
- Article
- Export citation
J. Hartmanis and F. D. Lewis. The use of lists in the study of undecidable problems in automata theory. Journal of computer and system sciences, vol. 5 (1971), pp. 54–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- June 1974
-
- Article
- Export citation
Aldo Bressan. A general interpreted modal calculus. Yale University Press, New Haven and London 1972, xxviii + 327 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 352
- Print publication:
- June 1974
-
- Article
- Export citation
F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla 1965, edited by S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl, Springer-Verlag New York Inc., New York 1966, pp. 1–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1974
-
- Article
- Export citation
Hisao Tanaka. On limits of sequences of hyperarithmetical functionals and predicates. Commentarii mathematici Universitatis Sancti Pauli, vol. 14 no. 2 (1966), pp. 105–121. - Tosiyuki Tugué and Hisao Tanaka. A note on the effective descriptive set theory. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 no. 1 (1966), pp. 19–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
- Print publication:
- June 1974
-
- Article
- Export citation
Donald J. Collins. On recognising properties of groups which have solvable word problem. Archiv der Mathematik, vol. 21 (1970), pp. 31–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- June 1974
-
- Article
- Export citation
Charles Parsons. On a number theoretic choice schema and its relation to induction. 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 London 1970, pp. 459–473. - Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 (1971), pp. 12–13. - Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 (1972), pp. 466–482.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
- Print publication:
- June 1974
-
- Article
- Export citation
David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 (1971), pp. 252–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- June 1974
-
- Article
- Export citation
Robert M. Solovay On the cardinality of sets of reals. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 58–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1974
-
- Article
- Export citation