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

>> Amazon.co.jp

このページのQRコード

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

著者名:

シリーズ名:

Lecture notes in mathematics ; 1103 <BA00146586>

ISBN:

9780387139005 [0387139001] (: us)

9783540139003 [3540139001] (: gw)

注記:

Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Model theory--Congresses; Set theory--Congresses
分類・件名:	NDC7 : 410.8 LCSH : Model theory -- Congresses LCSH : Set theory -- Congresses
LCCN:	85122111
TTLL:	eng
言語:	英語
形態:	viii, 484 p. : ill. ; 25 cm
書誌ID:	BA0325002X

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets Müller, G. H., Richter, M. M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	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 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, Gert Heinz, 1923- Springer-Verlag	8 図書 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
3 図書 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	9 図書 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
4 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S. Springer-Verlag	10 図書 Set theory and its applications : proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987 Set Theory and Its Applications Conference, Steprāns, Juris, Watson, Stephen, 1956- Springer
5 図書 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	11 図書 Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 Cabal Seminar, Kechris, Alexander S., 1946-, Martin, Donald A., 1940-, Moschovakis, Yiannis N., 1938- Springer-Verlag
6 電子ブック Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory Richter, M. M., Börger, E., Oberschelp, W., Schinzel, B., Thomas, W., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 Cabal Seminar, Kechris, Alexander S., 1946-, Martin, Donald A., 1940-, Moschovakis, Yiannis N., 1938- Springer-Verlag