13630 results in The Journal of Symbolic Logic
E. J. Lemmon. A theory of attributes based on modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 95–122. - Ruth Barcan Marcus. Classes and attributes in extended modal systems. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 123–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
- Print publication:
- March 1972
-
- Article
- Export citation
Nelson Goodman. Axiomatic measurement of simplicity. The journal of philosophy, vol. 52 (1955), pp. 709–722.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
- Print publication:
- March 1972
-
- Article
- Export citation
Samuel Reiss. The universe of meaning. Philosophical Library, New York1953, xi + 227 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 672
- Print publication:
- December 1971
-
- Article
- Export citation
Wolfgang E. Spiess and Friedrich G. Rheingans. Einführung in das Programmieren in FORTRAN. Walter de Gruyter & Co, Berlin1970, 195 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
- Print publication:
- December 1971
-
- Article
- Export citation
A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 69–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-674
- Print publication:
- December 1971
-
- Article
- Export citation
Generalized prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-606
- Print publication:
- December 1971
-
- Article
- Export citation
J. P. Ressayre. Sur les théories du premier ordre catégoriques en un cardinal. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 481–305.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-685
- Print publication:
- December 1971
-
- Article
- Export citation
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 23–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
- Print publication:
- December 1971
-
- Article
- Export citation
Gerson B. Robison. An introduction to mathematical logic. Prentice-Hall, Inc., Engle wood Cliffs, N.J., 1969, xii + 212 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 679
- Print publication:
- December 1971
-
- Article
- Export citation
Roman Sikorski. Products of generalized algebras and products of realizations. Colloquium mathematicum, vol. 10 (1963), pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
Gregorio Klimovsky. Tres enunciados equivalentes al teorema de Zorn. Contribuciones cientificas, Serie matematica, vol. 2 no. 1. Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires 1956, 29 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
- Print publication:
- December 1971
-
- Article
- Export citation
Gerald J. Massey. Understanding symbolic logic. Harper & Row, Publishers, New York, Evanston, and London, 1970, xix + 428 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-679
- Print publication:
- December 1971
-
- Article
- Export citation
J. Kent Minichiello. An extension of negationless logic. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 298–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
- Print publication:
- December 1971
-
- Article
- Export citation
Bolesław Sobociński. Note on G. J. Massey's closure-algebraic operation. Notre Dame journal of formal logic, vol. 11 (1970), pp. 343–346.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
- Print publication:
- December 1971
-
- Article
- Export citation
Definability problems for modules and rings1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-649
- Print publication:
- December 1971
-
- Article
- Export citation
Hans Hermes. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York1967, xii + 209 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
- Print publication:
- December 1971
-
- Article
- Export citation
Thoralf A. Skolem. Abstract set theory. Notre Dame mathematical lectures, no. 8, University of Notre Dame, Notre Dame, Indiana, 1962, v + 70 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 680
- Print publication:
- December 1971
-
- Article
- Export citation
Richard Tursman. The shortest axioms of the implicational calculus. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 351–358.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
- Print publication:
- December 1971
-
- Article
- Export citation
Simplifications of the recursion scheme
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-665
- Print publication:
- December 1971
-
- Article
- Export citation
Alex Blum. The missing premiss. Notre Dame journal of formal logic, vol. 11 (1970), pp. 203–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
- Print publication:
- December 1971
-
- Article
- Export citation