Bulletin of the American Mathematical Society

MathSciNet review: 1567200
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.

C. C. Chang and H. J. Keisler, Model theory, Studies in Logic and the Foundations of Mathematics, Vol. 73, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. MR 0409165

Leon Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949), 159–166. MR 33781, DOI 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, Oliver & Boyd, Edinburgh-London; Addison-Wesley Publishing Company, Reading, Mass., 1964. Translated by Leo F. Boron with a preface and notes by R. L. Goodstein. MR 0164868

C.-C. Chang and H. J. Keisler (1973), Model theory, Amsterdam, New York. MR 0409165




L. A. Henkin (1949), The completeness of the first-order functional calculus, J. Symbolic Logic 14, 159-166. MR 33781




A. H. Lightstone (1964), The axiomatic method, Englewood Cliffs, N. J.




E. Mendelson (1964), Introduction to Mathematical logic, Princeton Univ. Press, Princeton, New Jersey. MR 164867




J. L. Bell and A. Slomson (1969), Models and ultraproducts: An introduction, North-Holland, Amsterdam-London. MR 269486




H. B. Enderton (1972), A mathematical introduction to logic, Academic Press, New York. MR 337470




A. G. Hamilton (1978), Logic for mathematicians, Cambridge Univ. Press, London and New York. MR 499967




D. Hilbert and W. Ackermann (1950), Mathematical logic, Chelsea, New York.




P. S. Novikov (1964), Elements of mathematical logic, Oliver and Boyd, Edinburgh-London; Addison-Wesley, Reading, Mass. MR 164868