Contents
Reviews
Edward L. Keenan and Leonard M. Faltz. Boolean semantics for natural language. Synthese language library, vol. 23. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1985, xii + 387 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-555
-
- Article
- Export citation
Alan Bundy. The computer modelling of mathematical reasoning. Academic Press, London etc. 1983, xiv + 322 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-557
-
- Article
- Export citation
Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 (©1983), also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-558
-
- Article
- Export citation
Ermanno Bencivenga. Una logica dei termini singolari. Serie di logica matematica. Boringhieri, Turin1980, 162 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 558-561
-
- Article
- Export citation
G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 (1977), pp. 323–329. (English translation of O E-téorémah, Isslédovania po konstruktivnoj matématiké i matématičéskoj logiké, VI, edited by Ú. V. Matiásévič and A. O. Slisénko, Zapiski naučnyh séminarov, vol. 40, Matématičéskij Institut im. V. A. Stéklova, Léningradskoé Otdélénié, Leningrad 1974, pp. 110–118.) - G. É. Minc. Ustojčivost' E-téorém i provérka programm (Stability of E-theorems and program verification). Sémiotika i informatika, vol. 12 (1979), pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 (1979), pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 (1980), pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 435–452.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 561
-
- Article
- Export citation
David Marker. Degrees of models of true arithmetic. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 233–242. - Julia Knight, Alistair H. Lachlan, and Robert I. Soare. Two theorems on degrees of models of true arithmetic. The journal of symbolic logic, vol. 49 (1984), pp. 425–436.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 562-563
-
- Article
- Export citation
H. E. Rose. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York1984, xiii + 191 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-565
-
- Article
- Export citation
S. G. Gindikin. Algebraic logic. English translation by Robert H. Silverman of Algébra logiki v zadačah. Problem books in mathematics. Springer-Verlag, New York, Berlin, etc., 1985, xviii + 356 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 565-567
-
- Article
- Export citation
S. G. Gindikin. Algébra logiki v zadačah. Russian original of the preceding. Izdatél'stvo “Nauka,” Moscow1972, 288 pp. - Moshe Jarden. Elementary statements over large algebraic fields. Transactions of the American Mathematical Society, vol. 164 (1972), pp. 67–91.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 567
-
- Article
- Export citation
Moshe Jarden and Ursel Kiehne. The elementary theory of algebraic fields of finite corank. Inventiones mathematicae, vol. 30 no. 3 (1975), pp. 275–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 567
-
- Article
- Export citation
Moshe Jarden. The elementary theory of ω-free Ax fields. Inventiones mathematicae, vol. 38 no. 2 (1976), pp. 187–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-568
-
- Article
- Export citation
Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 (1981), pp. 101–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 568
-
- Article
- Export citation
Michael Hallett. Cantorian set theory and limitation of size. Oxford logic guidelines, no. 10. Clarendon Press, Oxford University Press, Oxford and New York1984, xxiii + 343 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 568-570
-
- Article
- Export citation
Kenneth McAloon. On the sequence of models HODn. Fundamenta mathematicae, vol. 82 (1974), pp. 85–93. - Thomas J. Jech. Forcing with trees and ordinal definability. Annals of mathematical logic, vol. 7 no. 4 (1975), pp. 387–409. - Włodzimierz Zadrożny. Iterating ordinal definability. Annals of pure and applied logic, vol. 24 (1983), pp. 263–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-571
-
- Article
- Export citation
Richard Laver. On Fraïssé's order type conjecture. Annals of mathematics, ser. 2 vol. 93 (1971), pp. 89–111. - Richard Laver. An order type decomposition theorem. Annals of mathematics, ser. 2 vol. 98 (1973) pp. 96–119. - Richard Laver. Better-quasi-orderings and a class of trees. Studies in foundations and combinatorics, edited by Gian-Carlo Rota, Advances in mathematics supplementary studies, vol. 1, Academic Press, New York, San Francisco, and London, 1978, pp. 31–48. - Saharon Shelah. Better quasi-orders for uncountable cardinals. Israel journal of mathematics, vol. 42 (1982), pp. 177–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-574
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-576
-
- Article
- Export citation
Front matter
JSL volume 52 issue 2 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 52 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation