Sets and classes : on the work by Paul Bernays

>> Google Books

Sets and classes : on the work by Paul Bernays

フォーマット:

図書

責任表示:

edited by Gert H. Müller

言語:

英語

出版情報:

Amsterdam ; New York : North-Holland Pub. Co.
New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1976

形態:

xxiii, 358 p. ; 23 cm

著者名:

シリーズ名:

Studies in logic and the foundations of mathematics ; v. 84 <BA00099329>

書誌ID:

BA06952293

ISBN:

9780720422849 [0720422841]

子書誌情報

所蔵情報

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

詳細

主題:	Axiomatic set theory--Addresses, essays, lectures; Bernays, Paul, 1888-
分類・件名:	LCC : QA248 DDC : 511/.32 LCSH : Axiomatic set theory -- Addresses, essays, lectures LCSH : Bernays, Paul, 1888-
LCCN:	76016791
注記:	Bibliography: p. 341-352 Includes index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Set theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Blass, Andreas R. Springer-Verlag	7 図書 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
2 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S. Springer-Verlag	8 図書 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
3 図書 Axiomatic set theory Bernays, Paul, 1888-1977, Fraenkel, Abraham Adolf, 1891-1965 North-Holland Publishing Co	9 図書 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
4 図書 Model theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Ebbinghaus, Heinz-Dieter, 1939- Springer-Verlag	10 図書 Classical logic Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag
5 図書 Recursion theory Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Hinman, Peter G. Springer-Verlag	11 図書 Non-classical logics Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang Springer-Verlag
6 図書 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938- Springer-Verlag	12 図書 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