Bulletin of the American Mathematical Society

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

Authors: Michael Makkai and Gonzalo E. Reyes
Title: First order categorical logic
Additional book information: Lecture Notes in Math., vol. 611, Springer-Verlag, Berlin, Heidelberg, New York, 1977, viii + 301 pp. $14.30.

Théorie des topos et cohomologie étale des schémas. Tome 2, Lecture Notes in Mathematics, Vol. 270, Springer-Verlag, Berlin-New York, 1972 (French). Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4); Dirigé par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat. MR 0354653

[CK] C. C. Chang, and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.

Paul R. Halmos, Algebraic logic, Chelsea Publishing Co., New York, 1962. MR 0131961

Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I. With an introductory chapter: General theory of algebras, Studies in Logic and the Foundations of Mathematics, Vol. 64, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0314620

Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798

[AGV] M. Artin, A. Grothendieck and J. L. Verdier, Théorie des topos et cohomologie étale des schémas, Lecture Notes in Math., vol. 269, Springer-Verlag, Berlin and New York, 1972. MR 0354653




[CK] C. C. Chang, and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.




[Hal] P. R. Halmos, Algebraic logic, Chelsea, New York, 1962. MR 131961




[HMT] L. Henkin, J. D. Monk and A. Tarski, Cylindric algebras. Part I, North-Holland, Amsterdam, 1971. MR 314620




[Mc L] S. Mac Lane, Categories for the working mathematician, Graduate Texts in Math., vol. 5, Springer-Verlag, Berlin and New York, 1971. MR 354798