Model theory

>> Google Books

タイトル、所在を表示します

Model theory

フォーマット:

図書

責任表示:

Heinz-Dieter Ebbinghaus (editor)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

xlv, 617 p. ; 28 cm

著者名:

シリーズ名:

Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3 <BA00027452>

書誌ID:

BA00748829

ISBN:

9783540155225 [3540155228] (: Germany)
9780387155227 [0387155228] (: U.S.)

子書誌情報

所蔵情報

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

詳細

その他のタイトル:	Bibliography of mathematical logic
資料形態(詳細):	Text
主題:	Logic, Symbolic and mathematical--Bibliography
LCCN:	86031426
注記:	Includes indexes
登録日:	2016-05-13
分類・件名:	LCC : Z6654.M26 LCC : QA9 DDC : 016.5113 NDLC : MA1 NDLC : MA41 LCSH : Logic, Symbolic and mathematical -- Bibliography

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Recursion theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Hinman, Peter G. Springer-Verlag	7 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S. Springer-Verlag
2 図書 Set theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Blass, Andreas R. Springer-Verlag	8 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 Ambos-Spies, K. (Klaus), Müller, G. H. (Gert Heinz), 1923-, Sacks, Gerald E., 1933- Springer-Verlag
3 図書 Proof theory, constructive mathematics Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. … Springer-Verlag	9 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938- Springer-Verlag
4 図書 Classical logic Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag	10 図書 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic … ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International … Springer-Verlag
5 図書 Non-classical logics Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag	11 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag
6 図書 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	12 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag