Your search returned 9 results.

Not what you expected? Check for suggestions
Sort
Results
One hundred years of Russell's paradox [electronic resource] : mathematics, logic, philosophy / edited by Godehard Link.

by Link, Godehard | ProQuest (Firm).

Series: Gruyter series in logic and its applications ; 6.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York : Walter de Gruyter, 2004Other title: 100 years of Russell's paradox.Online access: Click to View Availability: No items available.

The determinacy of long games [electronic resource] / Itay Neeman.

by Neeman, Itay, 1972- | ProQuest (Firm).

Series: Gruyter series in logic and its applications ; 7.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Walter de Gruyter, c2004Online access: Click to View Availability: No items available.

The axiom of determinacy, forcing axioms, and the nonstationary ideal [electronic resource] / W. Hugh Woodin.

by Woodin, W. H. (W. Hugh) | ProQuest (Firm).

Series: De Gruyter series in logic and its applications ; 1.Edition: 2nd rev. ed.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin ; New York : De Gruyter, c2010Online access: Click to View Availability: No items available.

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 Downey, R. G. (Rod G.) | Hirschfeldt, Denis Roman | ProQuest (Firm).

Series: De Gruyter series in logic and its applications ; 4Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Walter de Gruyter, 2001Online access: Click to View Availability: No items available.

Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu.

by Chong, C.-T. (Chi-Tat), 1949- [author.] | Yu, Liang [author.].

Series: De Gruyter series in logic and its applications ; Volume 8.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015Copyright date: 2015Online access: Click to View Availability: No items available.

Fine structure and class forcing [electronic resource] / Sy D. Friedman.

by Friedman, Sy D, 1953- | ProQuest (Firm).

Series: De Gruyter series in logic and its applications ; 3Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Walter de Gruyter, 2000Online access: Click to View Availability: No items available.

Fine structure and class forcing [electronic resource] / Sy D. Friedman.

by Friedman, Sy D, 1953- | ProQuest (Firm).

Series: De Gruyter series in logic and its applications ; 3Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Walter de Gruyter, 2000Online access: Click to View Availability: No items available.

The axiom of determinacy, forcing axioms, and the nonstationary ideal / W. Hugh Woodin.

by Woodin, W. H. (W. Hugh).

Series: De Gruyter series in logic and its applications ; 1Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : W. de Gruyter, 1999Online access: Click to View Availability: No items available.

The axiom of determinacy, forcing axioms, and the nonstationary ideal / W. Hugh Woodin.

by Woodin, W. H. (W. Hugh).

Series: De Gruyter series in logic and its applications ; 1Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : W. de Gruyter, 1999Online access: Click to View Availability: No items available.

Pages