Jump to main content

yr 〜
yr

Search results 9

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Digital電子書籍・電子雑誌図書
Springer-Verlag1998
Available onlineNational Diet Library
  • Author HeadingBuss, S. R.; Lachlan, A.; Slaman, T. Ravve, Elena V. Slaman, T.

Aspects of Incompleteness

Aspects of Incompleteness
Digital電子書籍・電子雑誌図書
Springer-Verlag1997
Available onlineNational Diet Library
  • Author HeadingBuss, S. R.; Lachlan, A.; Slaman, T. Lachlan, A. Slaman, T.

Forcing, iterated ultrapowers, and turing degrees

Forcing, iterated ultrapowers, and turing degrees
Paper図書
editors Chitat Chong, ... [et. al.]World Scientificc2016
Other Libraries in Japan
  • Author HeadingChong, Chi-Tat Feng, Qi Slaman, T. A. (Theodore Allen) Woodin, W...

Infinity and truth

Infinity and truth
Paper図書
editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan
  • Author HeadingChong, Chi-Tat Feng, Qi Slaman, T. A. (Theodore Allen) Woodin, W...

Notes on forcing axioms

Notes on forcing axioms
Paper図書
Stevo Todorcevic ; editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan
  • Author Heading..., Qi Yang, Yue Slaman, T. A. (Theodore Allen) Woodin, W...

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1996.<MA41-A95>
National Diet Library
  • Author HeadingCooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen) , 1954- W...

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.). (Lecture notes in mathematics ; 1388)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.). (Lecture notes in mathematics ; 1388)
Paper図書
Springer-Verlag1989.<M15-A5048>
National Diet LibraryOther Libraries in Japan
  • Author Heading篠田, 寿一, 1948- Slaman, T. A. (Theodore Allen) , 1954- 柘...

Computability, enumerability, unsolvability : directions in recursion theory

Computability, enumerability, unsolvability : directions in recursion theory
Paper図書
edited by S.B. Cooper, T.A. Slaman, S.S. WainerCambridge University Press1996
Other Libraries in Japan
  • Author HeadingCooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen) Wainer, S...

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 : gw : us

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 : gw : us
Paper図書
J. Shinoda, T.A. Slaman, T. Tugué (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author Heading篠田, 壽一 Slaman, T. A. (Theodore Allen) 柘植, 利之 Me...

Reached to the end of result.

RSS