Research Article
On theories having a finite number of nonisomorphic countable models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 806-808
-
- Article
- Export citation
On the number of independent partitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 809-814
-
- Article
- Export citation
Generalisation of first-order logic to nonatomic domains
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 815-838
-
- Article
- Export citation
Jumps of quasi-minimal enumeration degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 839-848
-
- Article
- Export citation
Reviews
Alexander S. Kechris and Yiannis N. Moschovakis. Notes on the theory of scales. Cabal seminar 76–77, Proceedings, Caltech-UCLA Logic Seminar 1976–77, edited by A. S. Kechris and Y. N. Moschovakis, Lecture notes in mathematics, vol. 689, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 1–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 849-851
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-852
-
- Article
- Export citation
Andrej Ščedrov. Forcing and classifying topoi. Memoirs of the American Mathematical Society, no. 295. American Mathematical Society, Providence1984, x + 93 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 852-853
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 853-854
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 854-855
-
- Article
- Export citation
Melvin Fitting. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 855-856
-
- Article
- Export citation
David R. Dowty, Robert E. Wall, and Stanley Peters. Introduction to Montague semantics. Synthese language library, vol. 11. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, xi + 313 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 856-858
-
- Article
- Export citation
Greg N. Carlson. Generic terms and generic sentences. Journal of philosophical logic, vol. 11 (1982), pp. 145–181.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 858-859
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 859-860
-
- Article
- Export citation
George Goe. Lezioni di logica. Franco Angeli Editore, Milan1983, xiii + 515 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 860
-
- Article
- Export citation
Marvin L. Bittinger. Logic, proof, and sets. Second edition. Addison-Wesley Publishing Company, Reading, Mass., etc., 1982, viii + 131 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-862
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 863-864
-
- Article
- Export citation
Front matter
JSL volume 50 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 50 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation