Model theory and topoi : a collection of lectures by various authors

このページのQRコード

種類:

図書

責任表示:

edited by F.W. Lawvere, C. Maurer, G.C. Wraith

出版情報:

Berlin ; New York : Springer-Verlag, 1975

著者名:

シリーズ名:

Lecture notes in mathematics ; 445 <BA00146586>

ISBN:

9783540071648 [3540071644] (: Germany)

9783540071648 [3540071644] (: U.S.)

注記:

Bibliography: p. 345-346

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Model theory; Toposes
分類・件名:	NDC7 : 410.8 LCSH : Model theory LCSH : Toposes
LCCN:	75020007
TTLL:	eng
言語:	英語
形態:	354 p. ; 25 cm
書誌ID:	BA00247550

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Model Theory and Topoi Lawvere, F.W., Maurer, C., Wraith, G.C., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer
2 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937- Springer-Verlag	8 図書 Basic model theory Doets, Kees CLSI Publications, FoLLI
3 電子ブック Accessible categories : the foundations of categorical model theory Makkai, Michael, 1939-, Paré, Robert, 1944- American Mathematical Society	9 図書 Topological model theory Flum, Jörg, Ziegler, Martin Springer-Verlag
4 図書 Toposes, algebraic geometry and logic Bucur, Ion, 1930-1976, Lawvere, F. William, 1937-, Dalhousie University Springer-Verlag	10 図書 Model theory of fields Marker, D. (David), 1958-, Messmer, M. (Margit), 1964-, Pillay, Anand Springer-Verlag
5 図書 Model theory Chang, Chen Chung, 1927-, Keisler, H. Jerome, 1936- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc.	11 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer
6 図書 Model theory Hodges, Wilfrid Cambridge University Press	12 図書 Introduction to model theory and to the metamathematics of algebra Robinson, Abraham, 1918-1974 North-Holland Pub. Co.