Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.


Full text of review: PDF   This review is available free of charge.
Book Information:

Author: A. H. Lightstone
Title: Mathematical logic. An introduction to model theory
Additional book information: Mathematical Concepts and Methods in Science and Engineering, Vol. 9, Plenum Press, New York and London, 1978, xiii + 338 pp.,$22.50.

References [Enhancements On Off] (What's this?)

  • C. C. Chang and H. J. Keisler, Model theory, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. Studies in Logic and the Foundations of Mathematics, Vol. 73. MR 0409165
  • Leon Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949), 159–166. MR 0033781, https://doi.org/10.2307/2267044
  • A. H. Lightstone (1964), The axiomatic method, Englewood Cliffs, N. J.
  • Elliott Mendelson, Introduction to mathematical logic, D. Van Nostrand Co., Inc., Princeton, N.J., 1964. MR 0164867
  • J. L. Bell and A. B. Slomson, Models and ultraproducts: An introduction, North-Holland Publishing Co., Amsterdam-London, 1969. MR 0269486
  • Herbert B. Enderton, A mathematical introduction to logic, Academic Press, New York-London, 1972. MR 0337470
  • Alan G. Hamilton, Logic for mathematicians, Cambridge University Press, Cambridge-New York, 1978. MR 499967
  • D. Hilbert and W. Ackermann (1950), Mathematical logic, Chelsea, New York.
  • P. S. Novikov, Elements of mathematical logic, Translated by Leo F. Boron with a preface and notes by R. L. Goodstein, Oliver & Boyd, Edinburgh-London; Addison-Wesley Publishing Co., Inc., R eading, Mass., 1964. MR 0164868

Review Information:

Reviewer: J. N. Crossley
Journal: Bull. Amer. Math. Soc. 1 (1979), 1003-1005
DOI: https://doi.org/10.1090/S0273-0979-1979-14718-9