Contents
Reviews
Judson Chambers Webb. Mechanism, mentalism, and metamathematics. An essay on finitism. Synthese library, vol. 137. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xiii + 277 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-476
-
- Article
- Export citation
David W. Kueker. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211–215. - K. Jon Barwise. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 (1974), pp. 95–103. - David W. Kueker. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 (1977), pp. 57–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-234
-
- Article
- Export citation
G. S. Makanin. Equations in a free group. Mathematics of the USSR—Izvestiya, vol. 21 no. 3 (for 1983, pub. 1984), pp. 483–546. (English translation by G. A. Kandall of Uravnéniá v svobodnoj gruppé, Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 46 (1982), pp. 1199–1273.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1071-1073
-
- Article
- Export citation
Saul A. Kripke. Wittgenstein on rules and private language. An elementary exposition. Harvard University Press, Cambridge, Mass., 1982, x + 150 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 819-821
-
- Article
- Export citation
Saharon Shelah. There are just four second-order quantifiers. Israel journal of mathematics, vol. 15 (1973), pp. 282–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
Leonard Linsky. Oblique contexts. The University of Chicago Press, Chicago and London1983, xxxvii + 175 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 821-822
-
- Article
- Export citation
Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski. Ein axiomatischer Aujbau der euklidischen Geometrie. Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin etc. 1983, pp. 1–171. - Wolfram Schwabhäuser. Metamathematische Betrachtungen. Metamathematische Methoden in der Geometrie, pp. 173–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1075
-
- Article
- Export citation
William Kneale and Martha Kneale. The development of logic. Corrected paperback edition of XXVII 213. Clarendon Press, Oxford University Press, Oxford and New York 1984, viii + 783 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
-
- Article
- Export citation
Per Martin-Löf. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.) Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1076
-
- Article
- Export citation
Krister Segerberg. The logic of deliberate action. Journal of philosophical logic, vol. 11 (1982),pp. 233–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
-
- Article
- Export citation
Daniel Lascar and Bruno Poizat. An introduction to forking. The journal of symbolic logic, vol. 44 (1979), pp. 330–350.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-235
-
- Article
- Export citation
H. Jerome Keisler. An infinitesimal approach to stochastic analysis. Memoirs of the American Mathematical Society, no. 297. American Mathematical Society, Providence1984, x + 184 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 822-824
-
- Article
- Export citation
S. V. Bredikhin, Yu. L. Ershov, and V. E. Kal'nei. Fields with two linear orderings. Mathematical notes of the Academy of Sciences of the USSR, vol. 7(1970), pp. 319–325. (English translation of Polá s dvumá linéjnymi porádkami, Matèmatčéskié zamétki, vol. 7 (1970), pp. 525–536.) - Moshe Jarden. The elementary theory of large e-fold ordered fields. Acta mathematica, vol. 149 (1982), pp. 239–260. - Alexander Prestel. Pseudo real closed fields. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by R. B. Jensen and A. Prestel, Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 127–156. - Moshe Jarden. On the model companion of the theory of e-fold ordered fields. Acta mathematica, vol. 150(1983), pp. 243–253. - Alexander Prestel. Decidable theories of preordered fields. Mathematische Annalen, vol. 258 (1982), pp. 481–492. - Ju. L. Eršov. Regularly r-closed fields. Soviet mathematics—Doklady, vol. 26 (for 1982, pub. 1983), pp. 363–366. (English translation by E. Mendelson of Régulárno r-zamknutyé polá, Doklady Akadémii Nauk SSSR, vol. 226 (1982), pp. 538-540.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-237
-
- Article
- Export citation
J. L. Bell. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York1985, xx + 165 pp. - Dana Scott. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1077
-
- Article
- Export citation
Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 (1982), pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. 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. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 (1984), pp. 818–829.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-479
-
- Article
- Export citation
Dov M. Gabbay. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 824
-
- Article
- Export citation
Noam Chomsky. Lectures on government and binding. The Pisa lectures. Studies in generative grammar, no. 9. Foris Publications, Dordrecht and Cinnaminson, N.J., 1981, ix + 371 pp. - Noam Chomsky. Lectures on government and binding. The Pisa lectures. Second edition of the preceding. Studies in generative grammar, no. 9. Foris Publications, Dordrecht and Cinnaminson, N.J., 1982, ix + 371 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-240
-
- Article
- Export citation
Robert Goldblatt. Topoi. The categorial analysis of logic. Revised edition of XLVII 445. Studies in logic and the foundations of mathematics, vol. 98. North-Holland, Amsterdam, New York, and Oxford, 1984, xvi + 551 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1077-1078
-
- Article
- Export citation
Meeting Report
European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-502
-
- Article
- Export citation
Reviews
G. E. Hughes and M. J. Cresswell. A companion to modal logic. Methuen, London 1984 and New York 1985, xvii + 203 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-826
-
- Article
- Export citation