Finite model theory

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

Heinz-Dieter Ebbinghaus, Jörg Flum

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c1999

形態:

xiii, 360 p. ; 24 cm

著者名:

シリーズ名:

Perspectives in mathematical logic <BA00027452>

書誌ID:

BA43242016

ISSN:

01726641

ISBN:

9783540657583 [3540657584]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Model theory
分類・件名:	LCC : QA9.7 DDC : 511.3 LCSH : Model theory
LCCN:	99039853
注記:	Includes bibliographical references (p. [339]-347) and index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Finite Model Theory Ebbinghaus, Heinz-Dieter, Flum, Jorg, Flum, Jörg Springer Berlin Heidelberg	7 図書 Model theory, algebra, and geometry Haskell, Deirdre, Pillay, Anand, Steinhorn, Charles Cambridge University Press
2 電子ブック Finite Model Theory Ebbinghaus, Flum, Jörg Springer Berlin Heidelberg	8 図書 Model theory and applications American Mathematical Society
3 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer	9 図書 Model theory : an introduction Marker, D. (David), 1958- Springer
4 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag	10 図書 Model theory and modules Prest, Mike Cambridge University Press
5 図書 Accessible categories : the foundations of categorical model theory Makkai, Michael, 1939-, Paré, Robert, 1944- American Mathematical Society	11 図書 Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 Van den Dries, Lou, Koenigsmann, Jochen, Macpherson, Dugald, Pillay, Anand, Toffalori, Carlo, 1953-, Wilkie, Alec J., … Springer
6 図書 Model theory Hodges, Wilfrid Cambridge University Press	12 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923- Springer-Verlag