Your search returned 7 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu. by Series: De Gruyter series in logic and its applications ; 8.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2015]Copyright date: ©2015
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
The axiom of determinacy, forcing axioms, and the nonstationary ideal / W. Hugh Woodin. by Series: De Gruyter series in logic and its applications ; 1.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : W. de Gruyter, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Fine structure and class forcing [electronic resource] / Sy D. Friedman. by Series: De Gruyter series in logic and its applications ; 3.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Inner models and large cardinals [electronic resource] / Martin Zeman. by Series: De Gruyter series in logic and its applications ; 5
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Aspects of complexity [electronic resource] : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 / editors Rod Downey, Denis Hirschfeldt. by Series: De Gruyter series in logic and its applications ; 4
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
The determinacy of long games [electronic resource] / Itay Neeman. by Series: De Gruyter series in logic and its applications ; 7.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
One hundred years of Russell's paradox : mathematics, logic, philosophy / editor, Godehard Link. by Series: De Gruyter series in logic and its applications ; 6.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Walter de Gruyter, ©2004
Other title:
  • 100 years of Russell's paradox
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha