安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes.

出版发行项:

Berlin ; New York : Springer-Verlag, 1977.

ISBN:

3540084398 (Berlin)

ISBN:

0387084398 (New York)

载体形态项:

viii, 301 p. : ill. ; 25 cm.

丛编说明:

Lecture notes in mathematics ; 611

丛编统一题名:

Lecture notes in mathematics (Springer-Verlag) ; 611.

个人责任者:

Makkai, Michael, 1939-

附加个人名称:

Reyes, Gonzalo E., 1937-

论题主题:

Model theory.

论题主题:

Categories (Mathematics)

论题主题:

Toposes.

中图法分类号:

O141.4

科图法分类号:

51.491

书目附注:

Includes bibliographical references (p. [298]-301)

豆瓣简介：