First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes. (Lecture notes in mathematics ; 611)

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

(Lecture notes in mathematics ; 611)

国立国会図書館請求記号: MA41-131
国立国会図書館書誌ID: 000006265310

資料種別: 図書

著者: Makkai, Michael, 1939-ほか

出版者: Springer-Verlag

出版年: 1977.

資料形態: 紙

ページ数・大きさ等: viii, 301 p. : ill. ; 25 cm.

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 0387084398
タイトル: First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes.
シリーズタイトル: Lecture notes in mathematics ; 611
タイトル標目: Lecture notes in mathematics (Springer-Verlag) ; 611.
著者標目: Makkai, Michael, 1939-
Reyes, Gonzalo E., 1937-
出版事項: Berlin : Springer-Verlag
New York : Springer-Verlag
出版年月日等: 1977.
出版年（W3CDTF）: 1977
数量: viii, 301 p. : ill. ; 25 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Model theory.
Categories (Mathematics)
Toposes.
LCC: QA3
QA9.7
DDC: 510/.8 s
512/.55
NDLC: MA41
書誌注記: Bibliography: p. [298]-301.
所蔵機関: 国立国会図書館
請求記号: MA41-131
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006265310
http://id.ndl.go.jp/bib/000006265310
LC control number: 77013221 //r902
https://lccn.loc.gov/77013221
整理区分コード: 211