Meeting Report
Meeting of the Association for Symbolic Logic, Sydney, 1984
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-506
-
- Article
- Export citation
Reviews
Dirk van Dalen. Logic and structure. Universitext. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, ix + 172 pp. - Dirk van Dalen. Logic and structure. Second edition of the preceding. Universitext. Springer-Verlag, Berlin etc. 1983, x + 207 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 826-827
-
- Article
- Export citation
Melvin Fitting. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1078-1079
-
- Article
- Export citation
Esa Saarinen. Introduction. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. vii–xii. - Jaakko Hintikka. Language-games. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 1–26. (Reprinted with minor changes and added appendix from Acta philosophica Fennica, vol. 28 no. 1-3 (1976), Essays on Wittgenstein in honour of G. H. von Wright, pp. 105-125.) - Jaakko Hintikka. Quantifiers in logic and quantifiers in natural languages. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 27–47. (Reprinted from Philosophy of logic, edited by Stephan Körner, Basil Blackwell, Oxford, and University of California Press, Berkeley and Los Angeles, 1976, pp. 208-232.) - Jaakko Hintikka. Quantifiers vs. quantification theory. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–79. (Reprinted from Dialectica, vol. 27 no. 3-4 (for 1973, publ. 1974), pp. 329-358; also in Linguistic inquiry, vol. 5 (1974), pp. 153-177.) - Jaakko Hintikka. Quantifiers in natural languages: some logical problems. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 81–117. (Sections 1–9 reprinted from Essays on mathematical and philosophical logic. Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 295-314; sections 10-19 reprinted from Linguistics and philosophy, vol. 1 (1977), pp. 153-172.) - Christopher Peacocke. Game-theoretic semantics, quantifiers and truth: comments on Professor Hintikka's paper. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 119–134. - Jaakko Hintikka. Rejoinder to Peacocke. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 135–151. - Jaakko Hintikka and Esa Saarinen. Semantical games and the Bach–Peters paradox. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 153–178. (Reprinted from Theoretical linguistics, vol. 2 (1975), pp. 1-20.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-244
-
- Article
- Export citation
Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-246
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Chicago, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 507-510
-
- Article
- Export citation
Reviews
Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 (1980), pp. 156–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1084
-
- Article
- Export citation
Ermanno Bencivenga. Il primo libro di logica. Introduzione ai metodi delta logica contemporanea. Serie di logica matematica. Boringhieri, Turin1984, 228 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 827
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
-
- Article
- Export citation
Reviews
Ú. L. Éršov and É. A. Palútin. Matématičéskaá logika (Mathematical logic). “Nauka,” Moscow1979, 320 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 827-829
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1092
-
- Article
- Export citation
Reviews
Edward N. Zalta. Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, xiii + 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-248
-
- Article
- Export citation
Karel Lambert. Meinong and the principle of independence. Its place in Meinong's theory of objects and its significance in contemporary philosophical logic. Modern European philosophy. Cambridge University Press, Cambridge etc. 1983, xvi + 175 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-252
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1103
-
- Article
- Export citation
Reviews
Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 829
-
- Article
- Export citation
Front matter
JSL volume 51 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 51 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Reviews
Donald Nute. Essential formal semantics. Rowman and Littlefield, Totowa, N.J., 1981, xiii + 186 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1104-1105
-
- Article
- Export citation
Reviews
Yu. I. Manin. A course in mathematical logic. Translated from the Russian by Neal Koblitz. Graduate texts in mathematics, vol. 53. Springer-Verlag, New York, Heidelberg, and Berlin, 1977, xiii + 286 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-830
-
- Article
- Export citation