Model theory of operator algebras

“… De Gruyter series in logic and its applications …”
DE-1043
DE-1046
DE-858
DE-Aug4
DE-859
DE-860
DE-91
DE-20
DE-706
DE-739
URL des Erstveröffentlichers

The Ultrapower Axiom von Goldberg, Gabriel

“… De Gruyter Series in Logic and Its Applications …”
FAB01
FAW01
FCO01
FHA01
FKE01
FLA01
TUM01
UPA01
URL des Erstveröffentlichers

The axiom of determinacy, forcing axioms, and the nonstationary ideal von Woodin, W. Hugh 1955-

“… de Gruyter Series in Logic and Its Applications …”
URL des Erstveröffentlichers

One hundred years of Russell's paradox mathematics, logic, philosophy

“… De Gruyter series in logic and its applications …”
Table of contents

One hundred years of Russell's paradox mathematics, logic, philosophy

“… De Gruyter series in logic and its applications …”
DE-188
DE-703
DE-706
Volltext

The determinacy of long games von Neeman, Itay 1972-

“… De Gruyter series in logic and its applications …”
FUBA1
Volltext

Aspects of complexity minicourses in algorithmics, complexity and computational algebra

“… De Gruyter series in logic and its applications …”
Inhaltsverzeichnis

The axiom of determinacy, forcing axioms, and the nonstationary ideal von Woodin, W. Hugh 1955-

“… De Gruyter series in logic and its applications …”

Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997

“… De Gruyter series in logic and its applications …”
Inhaltsverzeichnis

Ordinal computability an introduction to infinitary machines von Carl, Merlin 1982-

“… De Gruyter series in logic and its applications …”
Inhaltsverzeichnis
Inhaltsverzeichnis

Ordinal computability an introduction to infinitary machines von Carl, Merlin 1982-

“… De Gruyter Series in Logic and Its Applications …”
FAB01
FAW01
FHA01
FHR01
FKE01
FLA01
TUM01
UBW01
UBY01
UPA01
FCO01
URL des Erstveröffentlichers

The axiom of determinacy, forcing axioms, and the nonstationary ideal von Woodin, W. Hugh 1955-

“… De Gruyter series in logic and its applications …”

The determinacy of long games von Neeman, Itay 1972-

“… De Gruyter series in logic and its applications …”
Inhaltsverzeichnis

Automatic Complexity a Computable Measure of Irregularity von Kjos-Hanssen, Bjørn

“… De Gruyter Series in Logic and Its Applications …”
DE-91
DE-703
URL des Erstveröffentlichers

Recursion Theory Computational Aspects of Definability von Chong, Chi-Tat, Yu, Liang

“… De Gruyter Series in Logic and Its Applications …”
FHR01
TUM01
FHA01
UPA01
FAB01
URL des Erstveröffentlichers

The axiom of determinacy, forcing axioms, and the nonstationary ideal von Woodin, W. Hugh 1955-

“… De Gruyter series in logic and its applications …”
FUBA1
URL des Erstveröffentlichers

Inner models and large cardinals von Zeman, Martin 1964-

“… De Gruyter series in logic and its applications …”

Fine structure and class forcing von Friedman, Sy-David 1953-

“… De Gruyter series in logic and its applications …”
Inhaltsverzeichnis

One hundred years of Russell's paradox mathematics, logic, philosophy

“… Gruyter series in logic and its applications …”
KUBA1

The determinacy of long games von Neeman, Itay 1972-

“… Gruyter series in logic and its applications …”