13629 results in The Journal of Symbolic Logic
A remark on Africk's paper on Scott's interpolation theorem for Lω1ω
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, p. 32
- Print publication:
- March 1979
-
- Article
- Export citation
Yiannis N. Moschovakis. Elementary induction on abstract structures. Studies in logic and the foundations of mathematics, vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, x + 218 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- March 1979
-
- Article
- Export citation
Leônidas Hegenberg. Lógica: Simbolização e dedução. Editora Pedagógica e Universitária Ltda., Editora da Universidade de São Paulo, São Paulo1975, xiv + 219 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- March 1979
-
- Article
- Export citation
Theories with recursive models
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-76
- Print publication:
- March 1979
-
- Article
- Export citation
JSL volume 44 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1979
-
- Article
-
- You have access
- Export citation
On classes closed under unions of chains
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-31
- Print publication:
- March 1979
-
- Article
- Export citation
Corrigendum: “Rings which admit elimination of quantifiers”
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
- Print publication:
- March 1979
-
- Article
- Export citation
Thomas Cornides. Ordinale Deontik. Zusammenhänge zwischen Präferenztheorie, Normlogik und Rechtstheorie. Forschungen aus Staat und Recht, no. 25. Springer-Verlag, Vienna and New York1974, X + 210 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- March 1979
-
- Article
- Export citation
HC of an admissible set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-102
- Print publication:
- March 1979
-
- Article
- Export citation
Reflection principles and iterated consistency assertions
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-35
- Print publication:
- March 1979
-
- Article
- Export citation
Zohar Manna. Mathematical theory of computation. McGraw-Hill Book Company, New York etc. 1974, x + 448 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-124
- Print publication:
- March 1979
-
- Article
- Export citation
The measure quantifier1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-108
- Print publication:
- March 1979
-
- Article
- Export citation
Canonical modal logics and ultrafilter extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-8
- Print publication:
- March 1979
-
- Article
- Export citation
David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second problem? A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 93–130. - Martin Davis, Yuri Matijasevic̆, and Julia Robinson. Hilbert's tenth problem. Diophantine equations: positive aspects of a negative solution. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 323–378.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-119
- Print publication:
- March 1979
-
- Article
- Export citation
An undecidability result for relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-115
- Print publication:
- March 1979
-
- Article
- Export citation
Direct product decomposition of theories of modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-88
- Print publication:
- March 1979
-
- Article
- Export citation
The relative efficiency of propositional proof systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
- Print publication:
- March 1979
-
- Article
- Export citation
Nancy D. Simco and Gene G. James. Elementary logic. Dickenson Publishing Company, Inc., Encino and Belmont, Calif., 1976, xiv + 305 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- March 1979
-
- Article
- Export citation
Notices of meetings
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- March 1979
-
- Article
- Export citation
Variations on ◊
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-58
- Print publication:
- March 1979
-
- Article
- Export citation