Finite model theory

このページのQRコード

種類:

図書

責任表示:

Heinz-Dieter Ebbinghaus, Jörg Flum

出版情報:

New York ; Berlin : Springer, c1995

著者名:

シリーズ名:

Perspectives in mathematical logic <BA00027452>

ISBN:

9783540601494 [354060149X]

注記:

Includes bibliographical references (p. [313]-317) and index

所蔵情報

子書誌情報

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

1. Finite model theory. 2nd rev. and enl. ed
Heinz-Dieter Ebbinghaus, Jörg Flum , Springer , 1999

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer	7 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag
2 図書 Topological model theory Flum, Jörg, Ziegler, Martin Springer-Verlag	8 図書 Bounded variable logics and counting : a study in finite models Otto, Martin, 1961- Springer
3 電子ブック Accessible categories : the foundations of categorical model theory Makkai, Michael, 1939-, Paré, Robert, 1944- American Mathematical Society	9 図書 Basic model theory Doets, Kees CLSI Publications, FoLLI
4 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937- 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 図書 Introduction to model theory and to the metamathematics of algebra Robinson, Abraham, 1918-1974 North-Holland Pub. Co.
6 図書 Model theory Hodges, Wilfrid Cambridge University Press	12 図書 Classification theory and the number of non-isomorphic models Shelah, Saharon, 1945- North-Holland, Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.