Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I

>> Google Books

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I

フォーマット:

図書

責任表示:

edited by G.H. Müller and M.M. Richter

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, 1984

形態:

viii, 484 p. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in mathematics ; 1103 <BA00146586>

書誌ID:

BA0325002X

ISBN:

9780387139005 [0387139001] (: us)

9783540139003 [3540139001] (: gw)

子書誌情報

所蔵情報

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

詳細

主題:	Model theory--Congresses; Set theory--Congresses
分類・件名:	LCC : QA3 LCC : QA9.7 DDC : 510 s DDC : 511.3 NDC8 : 410.8 LCSH : Model theory -- Congresses LCSH : Set theory -- Congresses
LCCN:	85122111
注記:	Includes bibliographies
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 : [proceedings] Conference on Set Theory and Hierarchy Theory, Marek, Wiktor, Srebrny, Marian, 1947-, Zarach, Andrzej, 1948- Springer-Verlag
2 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S. Springer-Verlag	8 図書 Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and … International Colloquium on Mathematical Logic and Foundations of Set Theory, Bar-Hillel, Yehoshua, Akademyah … North-Holland Pub. Co.
3 図書 Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 Logic Colloquium, Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. North-Holland	9 図書 Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K Cambridge University Press
4 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus Springer-Verlag	10 図書 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, … Latin-American Symposium on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R. North-Holland Pub. Co., sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
5 図書 Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 Jensen, Ronald Björn, Prestel, Alexander, 1941- Springer-Verlag	11 図書 Set theory and hierarchy theory V : Bierutowice, Poland, 1976 Conference on Set Theory and Hierarchy Theory, Lachlan, A., Srebrny, Marian, 1947-, Zarach, Andrzej, 1948- Springer-Verlag
6 図書 Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 Logic Colloquium, Lolli, Gabriele, 1942-, Longo, Giuseppe, Marcja, A. (Annalisa) North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	12 図書 Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September … Conference on Applications of Logic to Algebra and Arithmetic, Pacholski, Leszek, Wierzejewski, J. (Jędrzej), Wilkie, … Springer-Verlag