Model-theoretic logics

フォーマット:

図書

責任表示:

edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.]

言語:

英語

出版情報:

Tokyo : Springer-Verlag, c1985
New York : Springer-Verlag, c1985

形態:

xviii, 893 p. ; 25 cm

著者名:

シリーズ名:

書誌ID:

BA00027441

ISBN:

9780387909363 [0387909362] (: us)

9783540909361 [3540909362] (: gw)

子書誌情報

所蔵情報

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

詳細

主題:	Model theory
分類・件名:	LCC : QA9.7 DDC : 511/.8 LCSH : Model theory
LCCN:	83020277
注記:	Bibliography: p. [793]-893 Includes index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937- Springer-Verlag	7 図書 Model theory for modal logic : Kripke models for modal predicate calculi Bowen, Kenneth A. D. Reidel Pub. Co.
2 図書 The situation in logic Barwise, Jon Center for the Study of Language and Information	8 図書 The number systems : foundations of algebra and analysis Feferman, Solomon Addison-Wesley
3 図書 Model theoretic algebra : selected topics Cherlin, Greg, 1948- Springer-Verlag	9 図書 Information flow : the logic of distributed systems Barwise, Jon, Seligman, Jerry, 1964- Cambridge University Press
4 図書 Intuitionistic logic, model theory and forcing Fitting, Melvin Chris North-Holland Pub. Co.	10 図書 Handbook of mathematical logic Barwise, Jon, Keisler, H. Jerome, 1936- North-Holland Pub. Co.
5 図書 Mathematical logic : an introduction to model theory Lightstone, A. H., Enderton, Herbert B Plenum Press	11 図書 Logic and algebra Zhang, Yi American Mathematical Society
6 図書 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers Keisler, H. Jerome, 1936- North-Holland Pub. Co.	12 図書 Model theory Chang, Chen Chung, 1927-, Keisler, H. Jerome, 1936- North-Holland