Jump to main content

yr 〜
yr

Search results 52

Large cardinals, determinacy and other topics : hardback

Large cardinals, determinacy and other topics : hardback
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2021
Other Libraries in Japan

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)
Paper図書
American Mathematical Societyc2002.<M17-03-4331>
National Diet Library
  • Subject HeadingSet 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
Paper図書
Samuel Coskey, Grigor Sargsyan, editorsAmerican Mathematical Societyc2020
Other Libraries in Japan

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)
Paper図書
Springerc2001.<M17-03-2249>
National Diet Library
  • Subject HeadingElectronic data processing -- Congresses. Set theory -- Congresses.

Infinity and truth

Infinity and truth
Paper図書
editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan

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
Paper図書
L. Babinkostova ... [et al.], editorsAmerican Mathematical Societyc2011
Other Libraries in Japan

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)
Paper図書
Springer-Verlagc1989.<M15-A5538>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingSet 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)
Paper図書
Kluwer Academic Publishersc1993.<M15-A8966>
National Diet Library
  • Subject Heading...-- Congresses. Set theory -- Congresses. Logic, Symbolic and mathemati...

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

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks
Paper図書
editors, Chitat Chong ... [et al.]World Scientificc2008
Other Libraries in Japan

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)
Paper図書
Springer-Verlagc1988.<M15-A3734>
National Diet Library
  • Subject HeadingSet theory -- Congresses. Recursion theory -- Congresse...

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
Paper図書
Shusaku Tsumoto ... [et al.] (eds.)Springerc2004
Other Libraries in Japan

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)
Paper図書
North-Holland Pub. Co.c1984.<M15-A4060>
National Diet Library
  • Subject HeadingCombinatorial 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
Paper図書
James J. Alpigini ... [et al.] (eds.)Springerc2002
Other Libraries in Japan

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)
Paper図書
Springer-Verlag1983.<M15-A1841>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingSet theory -- Congresses. Recursion theory -- Congresse...

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
Paper図書
Wojciech Ziarko, Yiyu Yao (eds.)Springerc2001
Other Libraries in Japan

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

Set theory : techniques and applications : Curaçao 1995 and Barcelona 1996 conferences
Paper図書
edited by Carlos Augusto Di Prisco ... [et al.]Kluwer Academic Publishersc1998
Other Libraries in Japan

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
Paper図書
edited by S. Barry Cooper, John K. TrussCambridge University Press1999
Other Libraries in Japan

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
Paper図書
Vitaly Bergelson ... [et al.], editorsAmerican Mathematical Societyc2010
Other Libraries in Japan

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)
Paper図書
Springer-Verlag1981.<MA41-198>
National Diet Library
  • Subject HeadingSet 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)
Paper図書
Springer-Verlag1978.<MA41-133>
National Diet Library
  • Subject HeadingSet theory -- Congresses.
RSS