Reviews
Selected papers of Abraham Robinson. Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner. Yale University Press, New Haven and London1979, xlv + 582 pp. - George B. Seligman. Biography of Abraham Robinson, pp. xi–xxx. A reprint of XLVII 197(1). - W. A. J. Luxemburg. Introduction to papers on nonstandard analysis and analysis, pp. xxxi–xxxix. - S. Körner. Introduction to papers on philosophy, pp. xli–xlv. - Abraham Robinson. Non-standard analysis, pp. 3–11. A reprint of XXXIV 292(1). - Abraham Robinson. On languages which are based on non-standard arithmetic, pp. 12–46. A reprint of XXXIV 516. - Abraham Robinson. On generalized limits and linear functionals, pp. 47–61. A reprint of XXXIV 292. - Abraham Robinson. On the theory of normal families, pp. 62–87. A reprint of XXXVII 215. - Allen R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos, pp. 88–98. A reprint of XXXIV 292. - Abraham Robinson. Topics in non-archimedean mathematics, pp. 99–112. A reprint of XXXIV 292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-210
-
- Article
- Export citation
Wang Hao. Popular lectures on mathematical logic. Van Nostrand Reinhold Company, New York etc., and Science Press, Beijing, 1981, ix + 273 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 908-909
-
- Article
- Export citation
Robert Goldblatt. Topoi. The categorial analysis of logic. Studies in logic and the foundations of mathematics, vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, xv + 486 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-448
-
- Article
- Export citation
D. S. Bridges. Constructive functional analysis. Research notes in mathematics, no. 28. Pitman Publishing, London, San Francisco, and Melbourne, 1979, iv + 203 pp. - Peter Zahn. Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis. Wissenschaftliche Buchgesellschaft, Darmstadt1978, 350 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-705
-
- Article
- Export citation
Charles S. Peirce. The new elements of mathematics. Volume III parts 1 and 2. Mathematical miscellanea. Edited by Carolyn Eisele. Mouton Publishers, The Hague and Paris, and Humanities Press, Atlantic Highlands, N.J., 1976, xxxix + 1153 pp. - Charles S. Peirce. The new elements of mathematics. Volume IV. Mathematical philosophy. Edited by Carolyn Eisele. Mouton Publishers, The Hague and Paris, and Humanities Press, Atlantic Highlands, N J., 1976, xxviii + 393 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-708
-
- Article
- Export citation
P. T. Johnstone. Topos theory. London Mathematical Society monographs, no. 10. Academic Press, London, New York, and San Francisco, 1977, xxiii + 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-450
-
- Article
- Export citation
Casimir Lewy. Meaning and modality. Cambridge University Press, Cambridge etc. 1976, xi + 159 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 909-911
-
- Article
- Export citation
Formal Philosophy. Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason. Yale University Press, New Haven and London1974, 369 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-215
-
- Article
- Export citation
David Bostock. Logic and arithmetic. Volume 1. Natural numbers. The Clarendon Press, Oxford University Press, Oxford1974, x + 219 pp. - David Bostock. Logic and arithmetic. Volume 2. Rational and irrational numbers. The Clarendon Press, Oxford University Press, Oxford1979, ix + 307 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 708-713
-
- Article
- Export citation
Walter Taylor. Equational logic. Houston journal of mathematics, survey 1979. Department of Mathematics, University of Houston, Houston1979, iii + 83 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 450
-
- Article
- Export citation
Stephen P. Schwartz. Preface. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 9–10. - Stephen P. Schwartz. Introduction. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 13–41. - Keith S. Donnellan. Reference and definite descriptions. A reprint of XL 276 (12). Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 42–65. - Saul Kripke. Identity and necessity. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 66–101. (Reprinted from Identity and individuation, edited by Milton K. Munitz, New York University Press, New York 1971, pp. 135–164.) - Hilary Putnam. IS semantics possible?Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 102–118. (Reprinted from Language, belief, and metaphysics, edited by Howard E. Kiefer and Milton K. Munitz, Contemporary philosophic thought, vol. 11, State University of New York Press, Albany 1970, pp. 50–63.) - Hilary Putnam. Meaning and reference. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 119–132. (Reprinted from The journal of philosophy, vol. 70 (1973), pp. 699–711.) - William K. Goosens. Underlying trait terms. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 133–154. - W. V. Quine. Natural kinds. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 155–175. (Reprinted from Essays in honor of Carl D. Hempel, A tribute on the occasion of his sixty-fifth birthday, edited by Nicholas Rescher et al., D. Reidel Publishing Company, Dordrecht 1969, pp. 5–23.) - Irving M. Com. Essence and accident. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 176–191. (Reprinted from The journal of philosophy, vol. 51 (1954), pp. 706–719.) - Gareth Evans. The causal theory of names. Naming, necessity, and natural kinds, edited by Stephen P. Schwartz, Cornell University Press, Ithaca and London1977, pp. 192–215. (Reprinted from Aristotelian Society supplementary volume XLVII, London 1973, pp. 187–208.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-915
-
- Article
- Export citation
A. H. Lachlan. On the number of countable models of a countable superstable theory. Logic methodology and philosophy of science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, edited by Patrick Suppes et al., Studies in logic and the foundations of mathematics, vol. 74, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, New York, 1973, pp. 45–56. - Daniel Lascar. Ranks and definability in superstable theories. Israel journal of mathematics, vol. 23 (1976), pp. 53–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-217
-
- Article
- Export citation
George Grätzer. Universal algebra. Second edition, with new appendices and additional bibliography, of XXXVIII 643. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xviii + 581 pp. - George Grätzer. Appendix 1. General survey. Therein, pp. 331–34. - George Grätzer. Appendix 2. The problems. Therein, pp. 342–347.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-451
-
- Article
- Export citation
Donald Nute. Topics in conditional logic. Philosophical studies series in philosophy, vol. 20. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, x + 164 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-714
-
- Article
- Export citation
Robert Vaught. Descriptive set theory in Lω,1ω, Cambridge summer school in mathematical logic, held in Cambridge/England, August 1–21, 1971, edited by A.R.D. Mathias and H. Rogers, Lecture notes in mathematics, vol. 337, Springer-Verlag, Berlin, Heidelberg, and New York, 1973, pp. 574–598. - Robert Vaught. Invariant sets in topology and logic. Fundamenta mathematicae, vol. 82 no. 3 (1974), pp. 269–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
-
- Article
- Export citation
Merrie Bergmann, James Moor, and Jack Nelson. The logic book. Random House, New York1980, ix + 459 pp. - Merrie Bergmann, James Moor, and Jack Nelson. Solutions to selected exercises in The logic book. Random House, New York1980, 252 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 915-917
-
- Article
- Export citation
Kurt Schütte. Proof theory. Revised English translation by J. N. Crossley of XXV 243. Grundlehren der mathematischen Wissenschaften, no. 225. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, xii + 299 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-220
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 918-950
-
- Article
- Export citation
Reviews
Richard E. Grandy. Advanced logic for applications. Synthese library, vol. 110. D. Reidel Publishing Company, Dordrecht and Boston1977, xiii + 168 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-716
-
- Article
- Export citation
Bjarni Jónsson. Appendix 3. Congruence varieties. Therein, pp. 348–377.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 451
-
- Article
- Export citation