Author(s)
Bibliographic Information
De Gruyter series in logic and its applications
Walter de Gruyter
- Other Title
-
GSLA
Search this Book/Journal
Related Books： 1-12 of 12
-
1
- Model theory of operator algebras
-
edited by Isaac Goldbring
De Gruyter c2023 De Gruyter series in logic and its applications 11
Available at 3 libraries
-
2
- The ultrapower axiom
-
Gabriel Goldberg
De Gruyter c2022 De Gruyter series in logic and its applications 10
Available at 2 libraries
-
3
- Ordinal computability : an introduction to infinitary machines
-
Merlin Carl
De Gruyter c2019 De Gruyter series in logic and its applications v. 9
Available at 4 libraries
-
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
Available at 3 libraries
-
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
Available at 11 libraries
-
6
- The determinacy of long games
-
Itay Neeman
Walter de Gruyter c2004 De Gruyter series in logic and its applications 7
: hbk
Available at 10 libraries
-
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
Available at 20 libraries
-
8
- Inner models and large cardinals
-
Martin Zeman
Walter de Gruyter 2002, c2001 De Gruyter series in logic and its applications 5
Available at 13 libraries
-
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
Available at 13 libraries
-
10
- Fine structure and class forcing
-
Sy D. Friedman
Walter de Gruyter 2000 De Gruyter series in logic and its applications 3
Available at 10 libraries
-
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
Available at 9 libraries
-
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
Available at 11 libraries