Reviews
D. M. R. Leivant. Absoluteness of intuitionistic logic. Mathematical Centre tracts, no. 73. Mathematisch Centrum, Amsterdam1979, ix + 137 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-874
-
- Article
- Export citation
Herbert B. Enderton. Elements of set theory. Academic Press, New York, San Francisco, and London, 1977, xiv + 279 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
-
- Article
- Export citation
Kenneth A. Bowen. Model theory for modal logic. Kripke models for modal predicate calculi. Synthese library, vol. 127. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, x + 127 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-417
-
- Article
- Export citation
Saharon Shelah. End extensions and numbers of countable models. The journal of symbolic logic, vol. 43 (1978), pp. 550–562.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
-
- Article
- Export citation
Azriel Levy. Basic set theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, XIV + 391 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-419
-
- Article
- Export citation
H. Andréka, T. Gergely, and I. Németi. On universal algebraic constructions of logics. Studia logica, vol. 36 (1977), pp. 9–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
-
- Article
- Export citation
Yiannis N. Moschovakis. Descriptive set theory. Studies in logic and the foundations of mathematics, vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xii + 637 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-876
-
- Article
- Export citation
Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 (1979), pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 (1980), pp. 30–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-665
-
- Article
- Export citation
Klaus Heidler, Hans Hermes, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, vii + 236 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
-
- Article
- Export citation
Keith J. Devlin. Fundamentals of contemporary set theory. Universitext. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, viii + 182 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
-
- Article
- Export citation
Thomas Jech. Set theory. Pure and applied mathematics. Academic Press, New York, San Francisco, and London, 1978, xi + 621 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-877
-
- Article
- Export citation
Robert S. Tragesser. Phenomenology and logic. Cornell University Press, Ithaca and London1977, 138 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
-
- Article
- Export citation
Michael Machtey and Paul Young. An introduction to the general theory of algorithms. The computer science library, Theory of computation series. North-Holland, New York, Oxford, and Shannon, 1978, vii + 264 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 877-878
-
- Article
- Export citation
Kathleen Levitz and Hilbert Levitz. Logic and Boolean algebra. Barron's Educational Series, Inc., Woodbury, N.Y., 1979, viii + 132 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
-
- Article
- Export citation
Wolfgang Maass. Inadmissibility, tame r.e. sets and the admissible collapse. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 149–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-667
-
- Article
- Export citation
Michael J. Loux. The ontology of William of Ockham. Ockham's theory of terms, Part I of the Summa logicae, translated and introduced by Michael J. Loux, University of Notre Dame Press, Notre Dame and London1974, pp. 1–21. - Michael J. Loux. Ockham on generality. Ockham's theory of terms, Part I of the Summa logicae, translated and introduced by Michael J. Loux, University of Notre Dame Press, Notre Dame and London1974, pp. 23–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 667-668
-
- Article
- Export citation
E. J. Lemmon. Beginning logic. Edited by George W. D. Berry. A revised reprint of XL 287(16). Hackett Publishing Company, Indianapolis1978, x + 225 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-423
-
- Article
- Export citation
Leonard S. Bobrow and Michael A. Arbib. Discrete mathematics: applied algebra for computer and information science. W. B. Saunders Company, Philadelphia, London, and Toronto, 1974, xiii + 719 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-880
-
- Article
- Export citation
R. M. Martin. Semiotics and linguistic structure. A primer of philosophic logic. State University of New York Press, Albany1978, xx + 321 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-170
-
- Article
- Export citation