著者
書誌事項
De Gruyter series in logic and its applications
Walter de Gruyter
- タイトル別名
-
GSLA
この図書・雑誌をさがす
関連文献： 12件中 1-12を表示
-
1
- Model theory of operator algebras
-
edited by Isaac Goldbring
De Gruyter c2023 De Gruyter series in logic and its applications 11
所蔵館3館
-
2
- The ultrapower axiom
-
Gabriel Goldberg
De Gruyter c2022 De Gruyter series in logic and its applications 10
所蔵館2館
-
3
- Ordinal computability : an introduction to infinitary machines
-
Merlin Carl
De Gruyter c2019 De Gruyter series in logic and its applications v. 9
所蔵館4館
-
4
- Recursion theory : computational aspects od definability
-
Chi Tat Chong, Liang Yu
Walter de Gruyter c2015 De Gruyter series in logic and its applications v. 8
所蔵館3館
-
5
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
-
W. Hugh Woodin
De Gruyter c2010 2nd rev. ed De Gruyter series in logic and its applications 1
: hardcover
所蔵館11館
-
6
- The determinacy of long games
-
Itay Neeman
Walter de Gruyter c2004 De Gruyter series in logic and its applications 7
: hbk
所蔵館10館
-
7
- One hundred years of Russell's paradox : mathematics, logic, philosophy
-
editor, Godehard Link
W. de Gruyter c2004 De Gruyter series in logic and its applications 6
所蔵館20館
-
8
- Inner models and large cardinals
-
Martin Zeman
Walter de Gruyter 2002, c2001 De Gruyter series in logic and its applications 5
所蔵館13館
-
9
- Aspects of complexity : minicourses in algorithmics, complexity, and computational algebra, mathematics workshop, Kaikoura, January 7-15, 2000
-
editors Rod Downey, Denis Hirschfeldt
Walter de Gruyter c2001 De Gruyter series in logic and its applications 4
所蔵館13館
-
10
- Fine structure and class forcing
-
Sy D. Friedman
Walter de Gruyter 2000 De Gruyter series in logic and its applications 3
所蔵館10館
-
11
- Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997
-
editors Marat M. Arslanov, Steffen Lempp
Walter de Gruyter 1999 De Gruyter series in logic and its applications 2
: alk. paper
所蔵館9館
-
12
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
-
W. Hugh Woodin
Walter de Gruyter 1999 De Gruyter series in logic and its applications 1
所蔵館11館
