本文に飛ぶ

年 〜
年

検索結果 52 件

Large cardinals, determinacy and other topics : hardback

Large cardinals, determinacy and other topics : hardback
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2021
全国の図書館
  • 件名Set theory -- Congresses
  • 件名（識別子）Set theory -- Congresses

Set theory : the Hajnal conference, October 15-17, 1999 DIMACS Center. : Oct 1999, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 58)

Set theory : the Hajnal conference, October 15-17, 1999 DIMACS Center. : Oct 1999, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 58)
紙図書
American Mathematical Societyc2002.<M17-03-4331>
国立国会図書館
  • 件名Set theory -- Congresses.

Trends in set theory : Simon Fest, conference in honor of Simon Thomas's 60th birthday, September 15-17, 2017, Rutgers University, Piscataway, New Jersey : pbk

Trends in set theory : Simon Fest, conference in honor of Simon Thomas's 60th birthday, September 15-17, 2017, Rutgers University, Piscataway, New Jersey : pbk
紙図書
Samuel Coskey, Grigor Sargsyan, editorsAmerican Mathematical Societyc2020
全国の図書館
  • 件名Set theory -- Congresses Thomas, Simon, 1957-
  • 件名（識別子）Set theory -- Congresses Thomas, Simon, 1957-

Rough sets and current trends in computing : second international conference, RSCTC 2000 : Banff, Canada, October 16-19, 2000 : revised papers. : Oct 2000, Banff, Canada. (Lecture Notes in Computer Science ; 2005. Lecture Notes in Artificial Intelligence)

Rough sets and current trends in computing : second international conference, RSCTC 2000 : Banff, Canada, October 16-19, 2000 : revised papers. : Oct 2000, Banff, Canada. (Lecture Notes in Computer Science ; 2005. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2001.<M17-03-2249>
国立国会図書館
  • 件名Electronic data processing -- Congresses. Set theory -- Congresses.

Infinity and truth

Infinity and truth
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館
  • 件名... -- Congresses Set theory -- Congresses Axiomatic set theory -- Congresses
  • 件名（識別子）... -- Congresses Set theory -- Congresses Axiomatic set theory -- Congresses

Set theory and its applications : annual Boise Extravaganza in Set Theory, Boise, Idaho, 1995-2010

Set theory and its applications : annual Boise Extravaganza in Set Theory, Boise, Idaho, 1995-2010
紙図書
L. Babinkostova ... [et al.], editorsAmerican Mathematical Societyc2011
全国の図書館
  • 件名Set theory -- Congresses
  • 件名（識別子）Set theory -- Congresses

Set theory and its applications : proceedings of a conference held at York University, Ontario, Canada, Aug. 10-21, 1987 / J. Steprāns, S. Watson (eds.). (Lecture notes in mathematics ; 1401)

Set theory and its applications : proceedings of a conference held at York University, Ontario, Canada, Aug. 10-21, 1987 / J. Steprāns, S. Watson (eds.). (Lecture notes in mathematics ; 1401)
紙図書
Springer-Verlagc1989.<M15-A5538>
国立国会図書館全国の図書館
  • 件名Set theory -- Congresses.

Finite and infinite combinatorics in sets and logic / edited by N.W. Sauer, R.E. Woodrow, and B. Sands. (NATO ASI series. Series C, Mathematical and physical sciences ; vol. 411)

Finite and infinite combinatorics in sets and logic / edited by N.W. Sauer, R.E. Woodrow, and B. Sands. (NATO ASI series. Series C, Mathematical and physical sciences ; vol. 411)
紙図書
Kluwer Academic Publishersc1993.<M15-A8966>
国立国会図書館
  • 件名...-- Congresses. Set theory -- Congresses. Logic, Symbolic and mathemat...

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2008
全国の図書館
  • 件名Recursion theory -- Congresses Set theory -- Congresses Infinite -- Congresses
  • 件名（識別子）Recursion theory -- Congresses Set theory -- Congresses Infinite -- Congresses

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)
紙図書
Springer-Verlagc1988.<M15-A3734>
国立国会図書館
  • 件名Set theory -- Congresses. Recursion theory -- Congress...

Rough sets and current trends in computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004 : proceedings

Rough sets and current trends in computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004 : proceedings
紙図書
Shusaku Tsumoto ... [et al.] (eds.)Springerc2004
全国の図書館
  • 件名Electronic data processing -- Congresses Set theory -- Congresses
  • 件名（識別子）Electronic data processing -- Congresses Set theory -- Congresses

Finite and infinite sets / edited by A. Hajnal, L. Lovász and V.T. Sós. (Colloquia mathematica Societatis János Bolyai ; 37)

Finite and infinite sets / edited by A. Hajnal, L. Lovász and V.T. Sós. (Colloquia mathematica Societatis János Bolyai ; 37)
紙図書
North-Holland Pub. Co.c1984.<M15-A4060>
国立国会図書館
  • 件名Combinatorial analysis -- Congresses. Set theory -- Congresses.

Rough sets and current trends in computing : Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings

Rough sets and current trends in computing : Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings
紙図書
James J. Alpigini ... [et al.] (eds.)Springerc2002
全国の図書館
  • 件名Electronic data processing -- Congresses Set theory -- Congresses
  • 件名（識別子）Electronic data processing -- Congresses Set theory -- Congresses

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis. (Lecture notes in mathematics ; 1019)

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis. (Lecture notes in mathematics ; 1019)
紙図書
Springer-Verlag1983.<M15-A1841>
国立国会図書館全国の図書館
  • 件名Set theory -- Congresses. Recursion theory -- Congress...

Rough Sets and Current Trends in Computing : second International Conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers

Rough Sets and Current Trends in Computing : second International Conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers
紙図書
Wojciech Ziarko, Yiyu Yao (eds.)Springerc2001
全国の図書館
  • 件名Electronic data processing -- Congresses Set theory -- Congresses
  • 件名（識別子）Electronic data processing -- Congresses Set theory -- Congresses

Set theory : techniques and applications : Curaçao 1995 and Barcelona 1996 conferences

Set theory : techniques and applications : Curaçao 1995 and Barcelona 1996 conferences
紙図書
edited by Carlos Augusto Di Prisco ... [et al.]Kluwer Academic Publishersc1998
全国の図書館
  • 件名Set theory -- Congresses
  • 件名（識別子）Set theory -- Congresses

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
紙図書
edited by S. Barry Cooper, John K. TrussCambridge University Press1999
全国の図書館
  • 件名Set theory -- Congresses Proof theory -- Congresses
  • 件名（識別子）Set theory -- Congresses Proof theory -- Congresses

Ultrafilters across mathematics : international congress, Ultramath 2008: Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy : pbk

Ultrafilters across mathematics : international congress, Ultramath 2008: Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy : pbk
紙図書
Vitaly Bergelson ... [et al.], editorsAmerican Mathematical Societyc2010
全国の図書館
  • 件名... Combinatorial set theory -- Congresses Ramsey theory -- Congresses
  • 件名（識別子）... Combinatorial set theory -- Congresses Ramsey theory -- Congresses

Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 / edited by R.B. Jensen and A. Prestel. (Lecture notes in mathematics ; 872)

Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 / edited by R.B. Jensen and A. Prestel. (Lecture notes in mathematics ; 872)
紙図書
Springer-Verlag1981.<MA41-198>
国立国会図書館
  • 件名Set theory -- Congresses. Model theory -- Congresses.

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott. (Lecture notes in mathematics ; 669)

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott. (Lecture notes in mathematics ; 669)
紙図書
Springer-Verlag1978.<MA41-133>
国立国会図書館
  • 件名Set theory -- Congresses.
RSS