13629 results in The Journal of Symbolic Logic
George Goe. Lezioni di logica. Franco Angeli Editore, Milan1983, xiii + 515 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 860
- Print publication:
- September 1985
-
- Article
- Export citation
Greg N. Carlson. Generic terms and generic sentences. Journal of philosophical logic, vol. 11 (1982), pp. 145–181.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 858-859
- Print publication:
- September 1985
-
- Article
- Export citation
Syntactic translations and provably recursive functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 682-688
- Print publication:
- September 1985
-
- Article
- Export citation
Robert Goldblatt. Axiomatising the logic of computer programming. Lecture notes in computer science, vol. 130. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xi + 304 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 854-855
- Print publication:
- September 1985
-
- Article
- Export citation
A probabilistic interpolation theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 708-713
- Print publication:
- September 1985
-
- Article
- Export citation
Jumps of quasi-minimal enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 839-848
- Print publication:
- September 1985
-
- Article
- Export citation
G. E. Hughes. John Buridan on self-reference. Chapter Eight of Buridan's Sophismata, with a translation, an introduction, and a philosophical commentary. Cambridge University Press, Cambridge etc. 1982, xi + 233 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 859-860
- Print publication:
- September 1985
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 863-864
- Print publication:
- September 1985
-
- Article
- Export citation
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-660
- Print publication:
- September 1985
-
- Article
- Export citation
On theories having a finite number of nonisomorphic countable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 806-808
- Print publication:
- September 1985
-
- Article
- Export citation
Joseph Becker and Leonard Lipshitz. Remarks on the elementary theories of formal and convergent power series. Fundament a mathematicae, vol. 105 (1980), pp. 229–239. - Françoise Delon. Indécidabilité de la théorie des anneaux de séries formelles à plusiers indéterminées. Fundament a mathematicae, vol. 112 (1981), pp. 215–229. - J. Becker, J. Denef, and L. Lipshitz. Further remarks on the elementary theory of formal power series rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 1–9. - Françoise Delon. Hensel fields in equal characteristic p > 0. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 108–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 853-854
- Print publication:
- September 1985
-
- Article
- Export citation
The decision problem for branching time logic1,2
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-681
- Print publication:
- September 1985
-
- Article
- Export citation
Two weak consequences of 0#
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-603
- Print publication:
- September 1985
-
- Article
- Export citation
Decision problems concerning S-arithmetic groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 743-772
- Print publication:
- September 1985
-
- Article
- Export citation
Logics containing K4. Part II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-651
- Print publication:
- September 1985
-
- Article
- Export citation
Priority arguments in the continuous r.e. degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-667
- Print publication:
- September 1985
-
- Article
- Export citation
The status of the axiom of choice in set theory with a universal set
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-707
- Print publication:
- September 1985
-
- Article
- Export citation
Finitely generic models of TUH, for certain model companionable theories T
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-610
- Print publication:
- September 1985
-
- Article
- Export citation
Marvin L. Bittinger. Logic, proof, and sets. Second edition. Addison-Wesley Publishing Company, Reading, Mass., etc., 1982, viii + 131 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-862
- Print publication:
- September 1985
-
- Article
- Export citation
Theodore Hailperin. Boole's logic and probability. A critial exposition from the standpoint of contemporary algebra, logic and probability theory. Studies in logic and the foundations of mathematics, vol. 85. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1976, x + 245 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-852
- Print publication:
- September 1985
-
- Article
- Export citation